in8finity

2 repositories with Claude Code or Codex plugins.

morozov-claude-plugin3
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/).
1 plugin · in8finity/claude-plugin
morozov-codex-plugin0
1 plugin · in8finity/codex-formal-plugin