Loading…
Premium agentic endpoint for coq-proof-assistant-mcp.
Execute coq-proof-assistant-mcp is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 90/100. 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 Execute coq-proof-assistant-mcp to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
mcp add io.github.Evozim/coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sseReview the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-08-17T21:59:14.647998Z",
"publishedAt": "2026-08-17T21:59:14.647998Z",
"statusChangedAt": "2026-08-17T21:59:14.647998Z"
}
},
"server": {
"name": "io.github.Evozim/coq-proof-assistant-mcp",
"title": "Execute coq-proof-assistant-mcp",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://api.m2mcent.com/coq-proof-assistant-mcp/sse",
"type": "sse",
"headers": [
{
"name": "Payment-Signature",
"isSecret": true,
"description": "Base64-encoded EIP-3009 TransferWithAuthorization signature for x402 V2 settlement on Base Mainnet ($0.5 USDC)."
}
]
}
],
"version": "2.0.0",
"description": "Premium agentic endpoint for coq-proof-assistant-mcp."
}
}