Skip to main content
Refactron ships an MCP server exposing one tool, verify_change, so an AI agent can verify a change before it lands. Setup and reference moved to the MCP tab, which covers every major client.

MCP server overview

What the server is, how to install it, and which client pages exist.

MCP quickstart

Install, register, confirm the tool is listed, and get a first verdict.

verify_change reference

Arguments, request and response examples, and the error shape.

Prompts for your agent

One prompt sets this up end to end. Another keeps it verifying before it applies.

​
Connect your client

Claude Code, Claude Desktop, Codex CLI, Cursor, GitHub Copilot in VS Code, Gemini CLI, Windsurf, or any other MCP client, which covers Zed and Cline.

​
The short version

Install the npm package, which puts refactron-mcp on your PATH:
Register it as a stdio server. For Claude Code:
For clients configured with JSON:
VS Code uses the root key servers instead of mcpServers, and Zed uses context_servers. Per-client paths and verification steps are on the client pages linked above. The tool returns the same report verify-diff --json prints. See Verdicts for what each verdict is allowed to claim, and Verify a diff for the same engine from the command line.