io.github.2648782102/proofpackdev-tools

Proofpack

Verified · today

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

Install

claude mcp add proofpack -- npx -y [email protected]

Our take

Generates local, read-only acceptance reports for AI-assisted Git changes through a single MCP tool. It suits teams that want a constrained verification step in agentic development workflows; meaningful download activity suggests interest, though the small repository footprint indicates limited maturity.

reviewed by hand · 2026-11-10

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
1
last commit
today
archived
no
license
MIT
downloads / wk
656
latest version
0.3.2
in registry since
2026-11-09

github.com/2648782102/proofpack-cli

context7dev-tools

Context7

Verified · 19 days ago

Up-to-date docs for AI agents

hand-reviewed63k starschecked 19 days ago

github-mcp-serverdev-tools

GitHub

Verified · 19 days ago

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

hand-reviewed34k starschecked 19 days ago

validatordev-tools

Oh My Posh Validator

Verified · 21 days ago

Validate oh-my-posh configurations and segment snippets against the official schema.

hand-reviewed24k starschecked 21 days ago

compiler-explorerdev-tools

Compiler Explorer

Verified · 2 mo ago

Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links

hand-reviewed19k starschecked 2 mo ago

gitdiagramdev-tools

GitDiagram

Verified · 41 days ago

Architecture diagrams, explanations and Mermaid source for public GitHub repositories.

hand-reviewed18k starschecked 41 days ago