verify-proof
Verify blockchain timestamp proofs offline, or anchor a new one through ProofLedger.
MCP server · by csolomon0704-prog
About
verify-proof is an MCP server published by csolomon0704-prog. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-13.
What it asks for
- Runs on your machine
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
A one-click link opens the client, which asks you to confirm before it adds the server.
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a local MCP server: PyPI package
Built from what Official MCP Registry declares.
claude mcp add --transport stdio verify-proof -- uvx verify-proof[mcp_servers.verify-proof]
command = "uvx"
args = ["verify-proof"]{
"mcpServers": {
"verify-proof": {
"command": "uvx",
"args": [
"verify-proof"
]
}
}
}Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.3.0 | Forks (GitHub): 0 Stars (GitHub): 0 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
otskit-mcp io.github.AlexAlves87/otskit-mcp
Stamp, upgrade, and verify Bitcoin timestamps via AI agents. No API keys required.
-
vtimestamp io.github.vdappdev2/vtimestamp
MCP server for verifying and querying vtimestamp proofs on the Verus blockchain
-
GENESIS ProofRelay MCP Verifier
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
-
sebbi.pro - seal every AI decision
Score, seal and prove any AI decision, timestamped into Bitcoin - checkable by anyone.
-
Prove you made it first. Blockchain Timestamp creative work via Claude or any MCP-enabled AI Agent.
-
vtimestamp-write io.github.vdappdev2/vtimestamp-write
MCP server for creating vtimestamp proofs on the Verus blockchain via a local or remote daemon
-
proof dev.tatastu/proof
Stamp content with permanent, verifiable provenance. Hash locally, verify free forever.
-
AOTrust Notarization & Evidence Server
Cryptographic proof of existence for AI agents. Base x402, NEAR anchored. Free tier.
-
Capture a web source, or seal a hash you hold, into a signed receipt anyone can verify offline.
-
Tamper-evident proof creation and verification for AI agents via MCP, A2A, and REST.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
Offline Ed25519 receipt verifier — checks signed decision receipts, agent manifests, and audit bundles without contacting any server.
-
Agent safety infrastructure (RiskOracle, NoLeak, MemGuard, SecureExec, FlowCore) and real-time DELPHI Oracle intelligence signals. x402 USDC micropayments on Base Mainnet. 19…
-
Build and manage automation workflows from Claude Code. Monitor smart contracts, track on-chain events, configure scheduled tasks, and connect notifications across Discord…
-
Ed25519-signs every tool call and appends to a hash-chained, tamper-evident audit log. Zero config — signing starts immediately after install. No native dependencies (embedded…
-
A Claude Code plugin with skills for working with the Sentio platform — building blockchain data processors, running SQL queries, managing alerts, dashboards, and endpoints.
Has a listing on Claude Code: claude-plugins-official (5)
-
OpenTelemetry observability for Claude Code sessions. Captures tool calls, LLM invocations, token usage, and errors as OTel traces. Send telemetry to Dash0 or any…
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Carta Cap Table plugin — skills and hooks for querying cap tables, grants, SAFEs, 409A valuations, waterfall scenarios, and more
-
Use Datadog directly in Claude Code through a preconfigured Datadog MCP server. Query logs, metrics, traces, dashboards, and more through natural conversation. This plugin is in…
Has a listing on Claude: knowledge-work-plugins (5)
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Carta Cap Table plugin — skills and hooks for querying cap tables, grants, SAFEs, 409A valuations, waterfall scenarios, and more
-
Use Datadog directly in Claude Code through a preconfigured Datadog MCP server. Query logs, metrics, traces, dashboards, and more through natural conversation. This plugin is in…
-
Query the StackHawk platform API for security posture reporting, findings analysis, and app management. Guides agents through authentication, data retrieval, and result…
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Comprehensive skill for the entire Temporal lifecycle — developing applications, using the Temporal CLI, running and managing Temporal Server, and working with Temporal Cloud.
-
Codex Security workflows for security scans, analysis, and investigation.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
Available for US1 customers only. Analyze, investigate, and act on your Datadog telemetry directly from ChatGPT using natural language. Ask questions about your production…
-
Inspect recent issues and events in Sentry from Codex.
Has a listing on Community GitHub marketplaces (5)
-
Multi-workspace Slack MCP server with draft+confirm safety, vault auto-export, a
Multi-workspace Slack MCP server with draft+confirm safety, vault auto-export, and triple-mode…
-
Ship stablecoin apps faster. Best-practice skills for USDC payments, cross-chain transfers, wallets, and smart contracts — plus Circle's MCP server for real-time SDK and…
-
agentforge io.github.acarchidi/agentforge
DeFi safety layer for AI agents: wallet safety, token risk, tx decode/simulate. 20 tools.
-
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Explore and query TimeBase streams, schemas, QQL, symbols, and server status via MCP.
-
Visualizes live session AI-credit usage as a Pac-Man board with pellets, ghosts, fruit milestones, and game-over limits.
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
See your local Copilot token usage by day, model, and session, and get tips to use it more efficiently.
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
Advanced Security plugin for GitHub Copilot.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
Has a listing on Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Manage envelopes, templates, workflows, and agreements.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Work with PostHog from chat: query product analytics and run SQL, manage feature flags and experiments, triage error tracking issues, and review session replays, surveys, and…
Has a listing on Docker MCP Catalog (5)
-
Access to OpenZeppelin Stylus Contracts.
-
OpenZeppelin Stellar Contracts
Access to OpenZeppelin Stellar Contracts.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
Give your AI agents trusted access to the full Postman platform.
-
stackhawk com.stackhawk/stackhawk
An MCP server that provides interaction with StackHawk's security scanning platform.
Has a listing on Official MCP Registry (5)
-
otskit-mcp io.github.AlexAlves87/otskit-mcp
Stamp, upgrade, and verify Bitcoin timestamps via AI agents. No API keys required.
-
vtimestamp io.github.vdappdev2/vtimestamp
MCP server for verifying and querying vtimestamp proofs on the Verus blockchain
-
GENESIS ProofRelay MCP Verifier
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
-
sebbi.pro - seal every AI decision
Score, seal and prove any AI decision, timestamped into Bitcoin - checkable by anyone.
-
Prove you made it first. Blockchain Timestamp creative work via Claude or any MCP-enabled AI Agent.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.