SERVER
Lemma
Rank #4937io.github.lemmaoracle/mcp
Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
First listed
May 1, 2026
Last publish date
May 18, 2026
OVERVIEW
Lemma is a Model Context Protocol (MCP) server published by lemmaoracle. It ranks #4937 of 58,900 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. Lemma is listed on Official MCP, with 2 tracked versions. It was first listed on May 1, 2026 and most recently updated on May 18, 2026.
STANDING
#4,937of 58,900 tracked serversTop 10%
Ranks ahead of 53,963 of 58,900 servers on MCP Toplist.
CONNECT
Use Lemma
Add Lemma to any MCP client (Claude, Cursor, VS Code, …) with one of the configs below.
Remote · HTTP
{
"mcpServers": {
"lemmaoracle": {
"url": "https://mcp.lemma.workers.dev/mcp"
}
}
}npm package
{
"mcpServers": {
"lemmaoracle": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "<your LEMMA_API_KEY>",
"LEMMA_API_BASE": "<your LEMMA_API_BASE>"
}
}
}
}Replace each placeholder with your own value before saving.
REGISTRIES
Listed on 1 registry
ORGANIZATION
lemmaoracle
VERSIONS
Available versions (2)
| Version | Published |
|---|---|
| 0.0.17 | May 18, 2026 |
| 0.0.8 | May 1, 2026 |
FAQ
Frequently asked questions
- What is Lemma?
- Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
- Who maintains Lemma?
- Lemma is maintained by lemmaoracle, which publishes 2 MCP servers (2 total versions) tracked on MCP Toplist.
- Is Lemma an official MCP server?
- Yes — Lemma is listed on the Official MCP Registry.
- How many versions does Lemma have?
- MCP Toplist tracks 2 versions of Lemma, most recently published on May 18, 2026.
- Where can I find the source code for Lemma?
- The source code for Lemma is hosted at github.com/lemmaoracle/lemma.
EXPLORE