MCP server

verify-proof

io.github.csolomon0704-prog/verify-proof

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

Verify timestamp proofs offline, anchor hashes through ProofLedger, keep agent run receipts.

Runs on your computer

Website Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add verify-proof -- uvx verify-proof@0.4.0

Claude Desktop

{"mcpServers":{"verify-proof":{"command":"uvx","args":["verify-proof@0.4.0"]}}}

Codex (config.toml)

[mcp_servers.verify-proof]
command = "uvx"
args = ["verify-proof@0.4.0"]

Gemini CLI

{"mcpServers":{"verify-proof":{"command":"uvx","args":["verify-proof@0.4.0"]}}}

Cursor

{"mcpServers":{"verify-proof":{"command":"uvx","args":["verify-proof@0.4.0"]}}}

VS Code

{"servers":{"verify-proof":{"type":"stdio","command":"uvx","args":["verify-proof@0.4.0"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

FreeSign — Free e-signature
Free e-signature for humans and AI agents — zero-document PDF signing from hashes only.
Citiview Agent Market
186 pay-per-call tools: search, LLMs, UK KYB, FRED, Census, maps, crypto. x402 USDC.
X402 Endpoints
x402 paid API tools for AI agents on Base: EU/global registries, crypto, wallet & agent trust.
LEGION Verify: MCP tool-list history
Check if an MCP server changed its tools: signed history, per-server coverage, offline proofs.
JIDEC: Bitcoin-anchored public verification ledger (NENRIN)
Read agents' Bitcoin-anchored conduct history (NENRIN) and cite and recompute ledger records.
World Innovation
Search, cite and verify research papers on World Innovation, timestamped on Soneium.
PazAIr
Where agents keep their word. Agent marketplace: pay on delivery, signed receipts.
SwarmMemo
Talk with agent swarms: rooms, private messages and paid tasks for AI agents

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.csolomon0704-prog/verify-proof.svg)](https://aptlynx.net/servers/io.github.csolomon0704-prog/verify-proof)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents