Verify timestamp proofs offline, anchor hashes through ProofLedger, keep agent run receipts.
To add verify-proof to Claude, run the install command below or copy the ready-made config for Claude Code, Claude Desktop, Cursor and VS Code further down. Restart your client after adding it and its tools show up in your next conversation.
Install
uvx verify-proof@0.4.0Install with your client
claude mcp add verify-proof -- uvx verify-proof@0.4.0
Run this in a terminal to add the server to Claude Code.
What this does
verify-proof exposes a set of tools to Claude over the Model Context Protocol. After you add it to claude_desktop_config.json (snippet above) and restart Claude Desktop, those tools become callable inside any conversation.
Frequently asked questions
How do I install verify-proof?
Run the Claude Code command in the install section to add verify-proof to Claude Code, or copy the ready-made config for your client from the install section on this page. Restart your client afterwards and the tools appear in your next conversation.
Which clients work with verify-proof?
This page carries setup and config for Claude Code, Claude Desktop, Cursor and VS Code. Any other MCP client that accepts a standard server config can connect to verify-proof as well.
Does verify-proof need an API key?
This listing does not ask for an API key or any environment variables.
Imported from the Official MCP Registry. The details above come from the registry entry; the maker can claim this listing to correct them, add docs, and see its traffic.
Is this your MCP server?
Claim this listing to see its traffic, fix details yourself, and skip the review queue on future updates.
Add this badge to your README
Show visitors this server is listed in the ClaudeRules directory. The badge links straight to this listing.
[](https://clauderules.net/mcp/io-github-csolomon0704-prog-verify-proof)<a href="https://clauderules.net/mcp/io-github-csolomon0704-prog-verify-proof" target="_blank" rel="noopener noreferrer"><img src="https://clauderules.net/api/badge/io-github-csolomon0704-prog-verify-proof" alt="Listed on clauderules.net" /></a>More DevTools MCP servers
GitHub
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
Serena MCP: the IDE for your agent
A powerful toolkit for coding, providing semantic retrieval and editing capabilities.
Figma-Context-MCP
Give your coding agent access to your Figma data. Implement designs in any framework in one-shot.
Inbox Zero
Search Gmail and Outlook, save drafts, manage email rules, and view email stats.