Back to all repositories
IN
claude-plugin
by in8finity
A Claude Code plugin that brings formal verification and hypothesis-driven debugging to your workflow using [Alloy 6](https://alloytools.org/) and [Dafny](https://dafny.org/).
2stars0forks0watchers/subscribers0issues
- Language
- Alloy
- License
- Other
- Size
- 589 KB
- Created
- Apr 17, 2026
- Last Updated
- May 10, 2026
- Last Pushed
- May 10, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.