Back to code-only MCP servers

proofpack-cli

active

Local acceptance reports for AI-assisted code changes

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/2648782102/proofpack-cli
Package
npm: proofpack-cli
Run (stdio)
npx -y proofpack-cli
The usual command for this package registry; check the repository README for required settings.
License
MIT
Last update
2026-11-09
Homepage
github.com/2648782102/proofpack-cli#readme

Listed in

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