← Browse
odin-formal
OutlineDriven ★ 38
ODIN provides 9 skills for formal methods workflows including model checking, SMT solving, deductive verification, and proof assistants across languages like Dafny, Lean, Isabelle, Rocq, and TLA+. The skills chain together to support verification tasks ranging from C/C++ memory safety with CBMC and Frama-C to effectful code verification in F*, Rust verification with Kani and Verus, and protocol specification with TLA+ and Alloy.
Install
> /plugin marketplace add OutlineDriven/odin-claude-plugin/tree/HEAD/plugins/odin-formal
> /plugin install odin-formal
Source: https://github.com/OutlineDriven/odin-claude-plugin/tree/HEAD/plugins/odin-formal
What it's made of
9 skills
- Commands
- 0
- Agents
- 0
- Skills
- 9
- MCP servers
- 0
- Hooks
- 0
What it needs & plugs into
- API keys
- none
- Paid services
- none detected
- External tools
- none
- Talks to
- nothing external detected
Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.
Is this your plugin?
Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (OutlineDriven).