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.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
process.env. You'll be asked to provide them before it can run.CLAUDE_PROJECT_DIRCODEXA_AGENT_AB_MCP_PREFLIGHT_TIMEOUT_MSCODEXA_BOOTSTRAP_TESTINGCODEXA_CLICODEXA_EXPERIMENTAL_TRANSITIVE_RANKCODEXA_FOCUSED_REPOCODEXA_LSP— 1 on supported query commands.CODEXA_LSP_JAVASCRIPT_COMMANDCODEXA_LSP_PYTHON_COMMANDCODEXA_LSP_TYPESCRIPT_COMMANDCODEXA_MANAGED_POST_EDITCODEXA_MCP_OUTPUT_SCHEMA— (=full restores the deep schema). Managed and bareCODEXA_MCP_STRUCTURED_BUDGET_BYTES— records naming dropped fields. caps theCODEXA_MCP_TELEMETRY_PATHCODEXA_PLUGIN_ALLOW_NPX_FALLBACKCODEXA_PLUGIN_AUTO_REFRESHCODEXA_PLUGIN_TOOLSCODEXA_REPOCODEXA_SEMANTICCODEXA_SESSIONSTART_CONTEXTCODEXA_WORKSPACE_FOCUS_FILECODEXA_WORKSPACE_SESSION— session> or --workspace-session <session> whenCODEX_WORKSPACECODEX_WORKSPACE_ROOTCOMSPECComSpecGITHUB_STEP_SUMMARY[](https://m8ven.ai/mcp/mirnoorata-codexa-zm1jzy)