qed-proof-mcp

QED Proof MCP server (@qed-proof/mcp): let Claude, Cursor or any MCP client verify an AI agent's claimed work and check signed receipts offline.

What does this entry provide?

qed-proof-mcp is an MCP server entry in ChatHome Skills, sourced from GitHub MCP Search and scored 50/100. QED Proof MCP server (@qed-proof/mcp): let Claude, Cursor or any MCP client verify an AI agent's claimed work and check signed receipts offline. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. The install command above is ready to copy. Review the last-pushed date and repository status before adding qed-proof-mcp to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.

Snapshot facts

Source: GitHub MCP Search
Quality: 50/100
Install method: source code
Repo: Nuraveda/qed-proof-mcp
Repo updated: Oct 8, 2026

Source checkout

git clone https://github.com/Nuraveda/qed-proof-mcp.git

Install method: source code

Review the upstream source before running this command.

GitHub project Homepage

Quality

Repo stars

Repo updated

Oct 8, 2026

How is this score calculated?

Weighted across six dimensions, scored 0-100.
Provenance (25): listed in an official or curated registry.
Installability (25): a runnable install command beats a declared transport, which beats a source checkout.
Maintenance (20): recency of the last push; archived entries score zero here.
Adoption (20): repository stars on a log curve.
Documentation (10) and description quality (10): parsed manifest or SKILL.md frontmatter, and a real description rather than a placeholder.

Security signals

Scan coverage: Install metadata and repository README.

Automated signals from install metadata and a bounded skill body — not a full code security audit and not a recursive source or dependency review.

MCP manifest

{
  "fullName": "Nuraveda/qed-proof-mcp"
}

Discovery note

QED Proof MCP server (@qed-proof/mcp): let Claude, Cursor or any MCP client verify an AI agent's claimed work and check signed receipts offline.

Report an issue with this listing