← Browse
lean-spec
octrow ★ 0
lean-spec is a Claude Code plugin that verifies or accelerates individual logic components against formally proven Lean 4 theorems, including theorem statements, proofs, and property-based testing via the Lean model as an oracle. It supports multiple verification gates such as lake build, tests, and comparators, with fallback mechanisms for proved fast paths.
Install
> /plugin marketplace add octrow/octrow-skills/tree/HEAD/plugins/lean-spec
> /plugin install lean-spec
Source: https://github.com/octrow/octrow-skills/tree/HEAD/plugins/lean-spec
What it's made of
1 skill
- Commands
- 0
- Agents
- 0
- Skills
- 1
- 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
Analyzed . 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 (octrow).