codexa
Codexa is a local change-evidence layer for software workflows, providing committed-change receipts, plan conformance, and verification crediting. It acts as an MCP server to help agents reason about code changes and verify correctness.
- Score
- 32.2231 signal
- Evidence
- 2 stars
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- namin-dafny-verifier3 stars · 4 forks57.754
- diffgate5 stars46.654
- context-atlas1 fork23.374
What it is
Codexa is a local change-evidence layer for software workflows, providing committed-change receipts, plan conformance, and verification crediting. It acts as an MCP server to help agents reason about code changes and verify correctness.
When to use it
Codexa is a local change-evidence layer for software workflows, providing committed-change receipts, plan conformance, and verification crediting. It acts as an MCP server to help agents reason about code changes and verify correctness.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.