2648782102 avatar

Proofpack

2648782102/proofpack-cli

Local, read-only acceptance reports for AI-assisted Git changes, exposed as one MCP tool.

GitHub stars
1
tool
1
transport
STDIO
last updated
Nov 9, 2026

Tools

1 tools

Public tool metadata for what this MCP can expose to an agent.

proofpack_checkA single read-only tool that performs Git inspection and generates a Markdown or JSON acceptance report without executing project commands or writing files.

A single read-only tool that performs Git inspection and generates a Markdown or JSON acceptance report without executing project commands or writing files.

No parameter schema in public metadata yet.

Sponsors

Readme

Proofpack

An evidence receipt for AI-assisted code changes.

After a coding agent says "done", Proofpack shows what Git can see, which checks actually ran, and what remains unchecked. It runs locally, needs no account, and never gives a "safe to merge" verdict.

npx -y --package=proofpack-cli@0.3.2 proofpack check --run "npm test"

The command prints a Markdown report to stdout. Default inspection is read-only; npm test runs only because it was explicitly supplied with --run.

Proofpack report example

See the report text
## Change
- Git-visible files: 2
- Diff summary: 18 insertions · 2 deletions

## Checks
- Explicit commands requested: 1
- Observed outcomes: 1 passed · 0 failed · 0 not run
- npm test: passed · exit 0

## Not checked
- Lint, build, dependency audits, and runtime behavior were not run.

Repository: 2648782102/proofpack-cli · npm: proofpack-cli · Release: v0.3.2

What it is for


View the full README on GitHub

Details

Repository
github.com/2648782102/proofpack-cli
Category
Developer Tools
Package
proofpack-cli
Transport
STDIO
Registry
MCP registry, active

Related Developer Tools MCP servers

View all
1tencent-lexiang avatarDEPRECATED - Use lexiang-mcp-servertencent-lexiang/lexiang-mcp-serverDEPRECATED: Please use io.github.tencent-lexiang/lexiang-mcp-server instead.1stars
2jcislo avatarMoltalyzer Mcpjcislo/moltalyzer-mcpPolymarket prediction-market intelligence + AI, GitHub & narrative feeds for agents, via x402.1stars
3malkreide avatarHn Tech Signal Mcpmalkreide/hn-tech-signal-mcpMCP server for tech & AI signal intelligence: HackerNews, arXiv, Lobste.rs and GitHub1stars
4mrorigo avatarBash Command Mcpmrorigo/bash-command-mcpSophisticated bash command MCP server that runs and manages shell execution.1stars
5sandip124 avatarWisegitsandip124/wisegitExtracts decision intent from git history and protects intentional code from AI modification.1stars
6sanoy24 avatarrepowardsanoy24/repowardGitHub MCP server that blocks private-to-public leaks by agents, with approvals and audit.1stars