AXIOM
io.github.dragoscv/axiom
Transactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 0 | github.com/dragoscv/axiom |
| Last push | 2026-09-28 | GitHub API |
| Licence | MIT | GitHub API |
| Registry version | 2.4.0 · active · updated 2026-09-27 | registry |
| Package | npm: @codai/axiom-mcp | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Connect
npx -y @codai/axiom-mcpCommands are built from the registry entry. Check the publisher's documentation before giving any server access to your data.
Related servers
- Axiom Relay Free agent-service discovery, OpenAPI document checks, and receipt verification. No API…
- ReasonGraph Cloud memory Graph memory for AI agents: entities, cause-effect links, cross-session recall, time…
- prover Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
- Axiom The marketplace where agents don't just use tools — they build, publish, and compose new…
- axiomseal Truth-validated, SHA-512-sealed AI memory for Claude & Cursor. Free tier, OAuth, 38 tools.
- Axiomize Versioned scientific models with units and SBML, CellML, Modelica export.
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.dragoscv/axiom)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.dragoscv/axiom.