← Browse
spec-audit
magicmoux ★ 0
SpecAudit reviews formal documents for logical, mathematical, and algorithmic errors by running fresh reviewer agents, confirming each error with executed counterexamples, and fixing them bottom-up with regression guards. All work happens in an isolated git worktree and branch, leaving your working directory untouched.
Install
> /plugin marketplace add magicmoux/SpecAudit
> /plugin install spec-audit
What it's made of
2 agents · 4 skills
- Commands
- 0
- Agents
- 2
- Skills
- 4
- 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 (magicmoux).