# proofline MCP server

> Verifies and validates coding agent work against machine-checkable contracts to ensure performance and prevent unverified claims.

- Repository: https://github.com/Optitransfer/proofline
- Page: https://hostedmcp.org/servers/optitransfer/proofline
- Transport: stdio
- Stars: 0

## Install

### Claude Code

```sh
claude mcp add proofline -- npx -y @optitransfer/proofline
```

### Cursor (`~/.cursor/mcp.json`)

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

### VS Code (`.vscode/mcp.json`)

```json
{
  "servers": {
    "proofline": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@optitransfer/proofline"
      ]
    }
  }
}
```

### VS Code CLI

```sh
code --add-mcp '{"name":"proofline","type":"stdio","command":"npx","args":["-y","@optitransfer/proofline"]}'
```

### Claude Desktop (`claude_desktop_config.json`)

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

### Codex

```sh
codex mcp add proofline -- npx -y @optitransfer/proofline
```

### Codex config.toml (`~/.codex/config.toml`)

```toml
[mcp_servers.proofline]
command = "npx"
args = ["-y", "@optitransfer/proofline"]
```

### Gemini CLI

```sh
gemini mcp add -s user proofline npx -- -y @optitransfer/proofline
```

### Gemini settings.json (`~/.gemini/settings.json`)

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

## Environment variables

| Name | Required | Secret | Description |
|---|---|---|---|
| `AGENTKEY_HOME` | no | no |  |

## FAQ

### What does Proofline do when an agent reports a task is finished?

Proofline does not take the report at face value; it holds a machine-checkable definition of done, re-runs every check itself, and only allows a commit if the evidence supports a PASS.

### Can an agent change the rules it is being judged by?

No, because the owner must approve the contract hash, and the git hooks will refuse any contract changes that do not have an approved marker.

### What happens if an agent tries to skip tests or raise timeouts?

The pre-commit hook will refuse these actions, such as test.skip or increased timeouts, as they are considered forbidden shortcuts.

### Does Proofline require any dependencies?

Proofline is built with zero dependencies and requires Node 22 or higher.