Plugin marketplace

axiom

Marketplace for the Axiom verification plugin.

4 · ryangu00/axiom2 pluginsApache-2.0updated 1 month ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

claude

Verify agent completion claims against evidence predicates declared before the work - baseline-aware, cross-session, observe-mode by default.

4 commands · hooks

codex

Axiom completion-claim verification for Codex CLI - native Stop-hook adapter, observe-mode by default, fail-open.

README badge

Shows how many plugins this repo ships, and links here.

claude & codex plugins2 plugins