@optitransfer/proofline

active

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.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/optitransfer/proofline
Package: npm: @optitransfer/proofline
Run (stdio): npx -y @optitransfer/proofline
The usual command for this package registry; check the repository README for required settings.
License: Apache-2.0
Last update: 2026-10-21
Homepage: github.com/Optitransfer/proofline

ai-agents llm mcp mcp-server agentic-ai claude-code verification validation testing test-automation quality-gate ci-cd

Listed in

npm · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.