codex-reasonix-mcp

codex-reasonix-mcp

An MCP bridge that lets Codex supervise Reasonix as an implementation worker in an isolated Git worktree, ensuring safe delegation with scoped writes and sandboxed execution.

Category
Visit Server

README

codex-reasonix-mcp

CI CodeQL License: MIT

codex-reasonix-mcp is a security-first MCP bridge that lets Codex supervise Reasonix as an implementation worker. Codex owns the contract, review, and final commit decision. Reasonix works in an isolated Git worktree through ACP Goal mode. The bridge never pushes, merges, or changes the caller's main worktree.

This repository is generic to Git repositories. It contains no Akademi-specific configuration, LLM router, or Codex source modification.

Release status

The current package version is 0.1.0-rc.3. It requires the Reasonix ACP v1 status extension described in the upstream patch. Until that patch ships in an official Reasonix binary, use a locally built patched binary and the npm prerelease. Stable v1 will fail closed unless the binary advertises both required schemaVersion: 1 capabilities.

Requirements

  • Node.js 22 or newer
  • pnpm 10 for source development
  • Git 2.36 or newer (worktrees plus git hook run)
  • Linux, macOS, or Windows through WSL; native Windows is rejected
  • Reasonix with ACP v1 plus the required status extension
  • Bubblewrap on Linux/WSL or Seatbelt on macOS
  • A configured Reasonix provider exposing deepseek-v4-flash

Reasonix, provider credentials, and provider billing remain user-managed. This package neither downloads nor bundles Reasonix.

Install for Codex

Pin the exact bridge version when registering the MCP server:

codex mcp add reasonix-worker -- npx -y codex-reasonix-mcp@0.1.0-rc.3

For development against a locally built Reasonix checkout:

codex mcp add reasonix-worker \
  --env REASONIX_BIN=/absolute/path/to/reasonix \
  -- npx -y codex-reasonix-mcp@0.1.0-rc.3

Run the non-model diagnostic before delegating work:

npx -y codex-reasonix-mcp@0.1.0-rc.3 doctor

doctor checks Node, Git, platform/WSL, the Reasonix binary and supervisor flags, ACP extension compatibility, OS sandbox availability, state permissions, network posture, the required model selector, and the effective session sandbox. It creates and closes an ACP diagnostic session but never sends a model prompt.

MCP surface

The server is named reasonix_worker and exposes exactly three tools:

  • reasonix_delegate validates an immutable TaskContractV1, creates the worker branch/worktree/session, and returns while provisioning continues.
  • reasonix_control steers, answers an interaction, cancels, finalizes, or closes a task. At most two post-review repair rounds are accepted.
  • reasonix_inspect returns bounded status, evidence, interactions, events, and optional paginated diffs.

reasonix_delegate and finalization require Codex's codex/sandbox-state-meta. A writable repository path is derived only from that metadata; no model-provided repository path is accepted.

Safe lifecycle

  1. Codex creates a contract with explicit write and forbidden scopes.
  2. The bridge rejects a dirty source worktree, creates reasonix/<task-id>, and places the worker worktree below its private state directory.
  3. Reasonix runs Delivery + Goal with planner disabled, scoped writes, sandboxed bash, and network off by default.
  4. Codex inspects bounded evidence and may request at most two repair rounds.
  5. finalize reruns all verification, rechecks scope/size/secrets, stages explicit files, runs commit hooks against a disposable index, and advances the worker ref only when the resulting tree is byte-for-byte the reviewed tree.
  6. The branch, worktree, contract, and evidence are retained. Nothing is pushed, merged, cherry-picked, or deleted automatically.

See architecture, task contracts, configuration, security, and troubleshooting.

Develop

corepack enable
pnpm install --frozen-lockfile
pnpm check
pnpm audit --audit-level high

CI runs the same gates on Node 22/24 Linux and Node 22 macOS. npm releases use GitHub OIDC trusted publishing with provenance and no long-lived npm token; prerelease versions publish under the next dist-tag. See CONTRIBUTING.md for the release gates.

The offline end-to-end test uses a fake ACP Reasonix agent and performs no live provider calls or external mutations. A live DeepSeek smoke test is intentionally not automated and requires explicit credential and cost authorization.

Community

License

MIT. See LICENSE.

Recommended Servers

playwright-mcp

playwright-mcp

A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.

Official
Featured
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.

Official
Featured
Local
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.

Official
Featured
Local
TypeScript
VeyraX MCP

VeyraX MCP

Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.

Official
Featured
Local
graphlit-mcp-server

graphlit-mcp-server

The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.

Official
Featured
TypeScript
Kagi MCP Server

Kagi MCP Server

An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.

Official
Featured
Python
E2B

E2B

Using MCP to run code via e2b.

Official
Featured
Neon Database

Neon Database

MCP server for interacting with Neon Management API and databases

Official
Featured
Exa Search

Exa Search

A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.

Official
Featured
Qdrant Server

Qdrant Server

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.

Official
Featured