verify
Bei 26 Registry-Einträgen wurde beobachtet, dass sie ein Tool namens verify offenlegen — keines davon als privilegierte Fähigkeit markiert.
Jede Zeile ist die Ausgabe eines Scans zu einem Zeitpunkt, mit Datum weiter unten. Forge hat eine beobachtete Tool-Oberfläche für 12.342 von 40.590 scannbaren Einträgen (30 %) — ein Eintrag, der nicht gescannt wurde, kann hier nicht erscheinen, das Fehlen in dieser Liste ist also kein Beleg dafür, dass ein Eintrag dieses Tool nicht offenlegt.
- v1.31.0↓ 145/wk
Hash-verified file editing MCP + token efficiency hook for AI coding agents. 9 tools: inspect_path, read, edit, write, grep, outline, verify, changes, bulk_replace.
ClaudeCursorCopilotGeminimcphex-lineastoutlinefile-editcoding-agent - v1.0.5
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
ClaudeCursorCopilotGeminimcp - v3.84.1★ 45k
MCP (Model Context Protocol) capabilities with Payload
ClaudeCursorCopilotGeminipluginmcpmodel context protocol - ★ 44k
Lightweight, open-source AI agent for your tools, chats, and workflows.
aiai-agentai-agentsanthropicchatgptclaude - v1.0.23↓ 988/wk
Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.
ClaudeCursorCopilotChatGPTGeminimcp - v0.7.5↓ 409/wk
Encrypted S3-compatible storage with possession proofs you can verify yourself. 12 GB free.
ClaudeCursorCopilotGeminimcp - v0.8.2↓ 308/wk
Verify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
ClaudeCursorCopilotGeminimcp - v0.3.3↓ 167/wk
UISandbox as an MCP server: open the real sandbox in your browser with your built web app loaded, turn its own knobs, verify 1:1, export CSS/patch/tokens/Swift/Android. Play with your app's design, right in the browser: nothing is sent to a server, and cl
ClaudeCursorCopilotGeminimcpmodel-context-protocoldesigndesign-tokensdesign-systemtheming - v1.0.3★ 4
AI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails.
ClaudeCursorCopilotGeminimcp - v2.0.2★ 1
AI compliance attestation for EU AI Act, SR 11-7, HIPAA. Free local tier, no key required.
ClaudeCursorCopilotGeminimcp - v1.0.0★ 1
Shared debugging memory for AI coding agents
ClaudeCursorCopilotChatGPTGeminimcp - v0.2.3★ 1
Expose foundry-zksync (forge, cast, anvil-zksync) tools for zkSync Era development
ClaudeCursorCopilotGeminimcp - v2.0.1★ 1
Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
ClaudeCursorCopilotGeminimcp - v0.1.1★ 1
Charge AI agents per-call without accounts. PoW solve = free tier, Lightning = paid tier.
ClaudeCursorCopilotGeminimcp - v2.2.2
Attested evidence tools for AI agents: sanctions screening, agent/wallet records, paid via x402.
ClaudeCursorCopilotGeminimcp - v1.0.0
MCP-first toolbox for agents: KV storage, auth, queue, and utility tools. Free in early access.
ClaudeCursorCopilotChatGPTGeminiai.racchaUnknownvor 1 Mon.beobachtet am · Live-tools/listmcp - v1.0.1
Cryptographic truth infrastructure for AI agents: seal, verify, anchor, cite, audit.
ClaudeCursorCopilotGeminimcp - v0.1.0
Verifiable Earth ground truth for AI agents: water, hazard, ground stability, resource, with proof.
ClaudeCursorCopilotChatGPTGeminicom.deepmapaiUnknownvor 1 Mon.beobachtet am · Live-tools/listmcp - v0.3.0
Pinned, versioned sources: search finds cited spans, query selects things, trace reaches the bytes.
ClaudeCursorCopilotChatGPTGeminicom.drillableUnknownvor 23 Tbeobachtet am · Live-tools/listmcp - v2.0.0
kenoodl surfaces the hidden pattern the model can't reach on its own. Call when reasoning loops.
ClaudeCursorCopilotChatGPTGeminicom.kenoodlUnknownvor 3 Mon.beobachtet am · Live-tools/listmcp - v1.0.1
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.
ClaudeCursorCopilotChatGPTGeminicom.kenoodlUnknownvor 27 Tbeobachtet am · Live-tools/listmcp - v0.4.0
Reviewed public-data search and execution with provenance and verifiable integrity receipts.
ClaudeCursorCopilotChatGPTGeminimcp - v0.1.1
Verifies Ed25519-signed attestation records and builds audit reports via MCP tools.
ClaudeCursorCopilotGeminimcp - v0.5.1↓ 62/wk
Check an agent work row, post one, and preflight a no-spend cap before any spend/send.
ClaudeCursorCopilotGeminimcp