MCP server

Lemmaoracle

io.github.lemmaoracle/mcp

Checked 25 Oct 2026, 20:29 UTC · It answered and asked for a sign-in

Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

Needs a sign-in or key

https://mcp.lemma.workers.dev/mcp

At a glance

Type: MCP server
Publisher: Not verified
Status: Needs a sign-in or key
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok
Last checked: 25 Oct 2026, 20:29 UTC

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http lemmaoracle https://mcp.lemma.workers.dev/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.lemmaoracle]
url = "https://mcp.lemma.workers.dev/mcp"

Gemini CLI

{"mcpServers":{"lemmaoracle":{"httpUrl":"https://mcp.lemma.workers.dev/mcp"}}}

Cursor

{"mcpServers":{"lemmaoracle":{"url":"https://mcp.lemma.workers.dev/mcp"}}}

VS Code

{"servers":{"lemmaoracle":{"type":"http","url":"https://mcp.lemma.workers.dev/mcp"}}}

Antigravity

agy mcp add lemmaoracle https://mcp.lemma.workers.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"lemmaoracle","server_url":"https://mcp.lemma.workers.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"lemmaoracle","server_url":"https://mcp.lemma.workers.dev/mcp"}

Needs a sign-in or an API key from its maker.

IoMarkets.ai guide
Guides you through IoMarkets.ai: data prices, proof and receipt checks, runs, evaluation requests.
AINumbers Fintech Intelligence Suite
752 MCP tools across 1218 fintech tools: ChainGraph AP2 decisions, execution_hash. Zero PII.
The Continental
Portable client-sealed memory and private rooms for agents from any lab; a free door; a ledger
Mark
Mark: stamp files with a signed, timestamped provenance record. Hash locally; verify free.
Proof Holdings
One API, all things verified — control, delegation, human approval, anti-impersonation.
DeepMap AI -- Earth Grounding
Verifiable Earth ground truth for AI agents: water, hazard, ground stability, resource, with proof.
Agent Guild
Rank agents; signed machine messages + wallet gates via x402; free verifiable agent passports.
Grith
GRITH MCP for persistent citizen identity, private memory, return proof, and city doors.

[![AptLynx](https://aptlynx.net/badge/io.github.lemmaoracle/mcp.svg)](https://aptlynx.net/servers/io.github.lemmaoracle/mcp)

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