Loomal

Lemmaoracle MCP

MCP server by github.com/lemmaoracle/lemma

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

2 starsnpm: @lemmaoracle/mcpRemote-capable

About Lemmaoracle MCP

Lemmaoracle MCP is an MCP (Model Context Protocol) server published by lemmaoracle in the official MCP registry, listed under Autonomous Agents on Loomal. Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

Lemmaoracle MCP runs as a hosted remote over streamable-http — MCP clients connect directly to its endpoint, with nothing to install locally. It also ships as an npm package (@lemmaoracle/mcp), so any MCP client that can launch a local process can run it.

Development happens in the open at github.com/lemmaoracle/lemma, where the project has earned 2 GitHub stars.

Use Lemmaoracle MCP with your agent

Claude Code · one command
claude mcp add --transport http lemmaoracle-mcp https://mcp.lemma.workers.dev/mcp
Claude Desktop, Cursor & other MCP clients · config
{
  "mcpServers": {
    "lemmaoracle-mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}
streamable-httphttps://mcp.lemma.workers.dev/mcp
npm@lemmaoracle/mcp

Frequently asked questions

What is Lemmaoracle MCP?
Lemmaoracle MCP is an MCP (Model Context Protocol) server by lemmaoracle in the Autonomous Agents category. Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
How do I connect Lemmaoracle MCP to Claude, Cursor, or another MCP client?
Lemmaoracle MCP is a remote MCP server — add its endpoint (https://mcp.lemma.workers.dev/mcp) to your client's MCP configuration (for example with "claude mcp add", or under "mcpServers" in Cursor's mcp.json) and restart the client.
Is Lemmaoracle MCP open source?
Yes — the source code is public at github.com/lemmaoracle/lemma, with 2 GitHub stars.
Can AI agents pay to use Lemmaoracle MCP?
Not yet through Loomal — Lemmaoracle MCP is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.

Listing data from the official MCP registry and GitHub, refreshed periodically. Not affiliated with the maintainer unless claimed. Maintain Lemmaoracle MCP? Claim this listing free by verifying GitHub ownership, or contact us.