audit
01Command Claude Code
Security-audit a codebase with Sabba -- rank risk, find bugs, prove them.
not rated 9 2mo ago A 18 tokens
original Apache-2.0
pentest
02Command Claude Code
Recon and scan an authorized target with Sabba's security tools, then confirm findings.
not rated 9 2mo ago A 16 tokens
original Apache-2.0
prove-fix
03Command Claude Code
Prove the current change actually works, by running it (base-fail / head-pass).
not rated 9 2mo ago A 19 tokens
original Apache-2.0
vet-skill
04Command Claude Code
Vet a skill or plugin before installing it, by running it under observation.
not rated 9 2mo ago A 14 tokens
original Apache-2.0
sabba
05MCP server Claude CodeCodexCursor +2
SABBA: a security templates CLI and MCP server for coding agents that prove findings by running them. Runs locally from the sabba Python package.
not rated 9 2mo ago A
tokens not measured
original Apache-2.0
magga
06MCP server Claude CodeCodexCursor +2
Prove that a code change actually works, whether an agent wrote it or a pull request did. Runs locally from the @8nobletruths/magga npm package.
not rated 0 3mo ago A
tokens not measured
original Apache-2.0
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: