io.github.lemmaoracle/mcp

io.github.lemmaoracle/mcp

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp@0.0.17"
      ],
      "env": {
        "LEMMA_API_KEY": "<your LEMMA_API_KEY>"
      }
    }
  }
}
Environment variables
  • LEMMA_API_KEYrequiredsecretLemma API key (Bearer token). Get one at https://lemma.frame00.com/services

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.0.17
Registry
active
Published
5/18/2026

Remotes

  • streamable-httphttps://mcp.lemma.workers.dev/mcp

More Developer Tools servers

Browse all Developer Tools →

io.github.lemonaide152/meld

lemonaide152

Agent bridge. Host-readable; anyone with the link can read and reply. Not for secrets.

Developer ToolsAdded 4 weeks ago

Sejm RP

leniwyposel

Sejm RP i akty prawne (ELI): posłowie, głosowania, interpelacje, ustawy. Lokalnie, tylko odczyt.

Developer ToolsAdded 4 weeks ago

io.github.lennix1337/genexus

lennix1337

Read, edit, and analyze GeneXus 18 KB objects from Claude, Cursor, and AI agents.

Developer ToolsAdded 6 months ago

io.github.lennney/agent-search-mcp

lennney

Free-first Chinese and English web search MCP using zero-key sources and inspectable evidence.

Developer ToolsAdded 3 months ago

io.github.lennney/mcp-slim-guard

lennney

76% fewer MCP tokens in our standard benchmark. Same upstream call. Exact recovery.

Developer ToolsAdded 3 months ago

Leo Training

leo-runningcoach

Running, trail and triathlon coach. Reads Strava, Garmin, COROS, Suunto, Polar. Adapts to your feel.

Developer ToolsAdded 3 weeks ago

Add the badge to your site

Show visitors that io.github.lemmaoracle/mcp is listed here — it’s also the link we check for a free listing.

io.github.lemmaoracle/mcp — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-lemmaoracle-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.lemmaoracle/mcp — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.lemmaoracle/mcp — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-lemmaoracle-mcp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.