The browser is one client

Keep your agent.
Add a proof loop.

Issue2Proof works beside Claude Code, Cursor, Codex-compatible hosts, GitHub Actions, IDE extensions, and internal tools.

MCPGitHub ActionRESTCLI

1Recallverified constraints

→

2Editin any agent

→

3Auditfresh sandbox replay

Interactive MCP walkthrough

See the two-tool loop.

This public sequence mirrors the recorded live validation. It labels itself as a walkthrough; the repository also contains the real stdio MCP server and its live audit artifact.

Inspect live validation artifact

coding-agent · issue2proof MCP

$ Ready. Press “Play MCP sequence”.

Four entry points

One memory service, many clients.

MCP server

Recall before editing and audit the local revision afterward in the same agent session.

python scripts/mcp_server.py

Pull request gate

Run free bundle recall locally, then optionally request authenticated sandbox replay.

uses: kushalar03/issue2proof@main

REST + CLI

Fetch a model-neutral context packet from hooks, editors, or internal automation.

POST /api/integrations/context

Portable bundle

Move integrity-checked capsules between trusted Issue2Proof instances.

issue2proof.memory-bundle.v1

Real Codex MCP validation

Watch the complete two-tool loop.

The narrated recording uses a fresh recall and remote Nebius Sandbox audit. Its compact JSON artifact preserves the exact hash, assertion, operation IDs, image identity, and limits.

Watch the Codex MCP recording ↗

Keep your agent.Add a proof loop.