@optitransfer/proofline

Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push.

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "npm-optitransfer-proofline": {
      "command": "npx",
      "args": [
        "@optitransfer/proofline"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://www.npmjs.com/package/@optitransfer/proofline

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "npm-optitransfer-proofline": {
      "command": "npx",
      "args": [
        "@optitransfer/proofline"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

Related servers