Sponsored by Deepsite.site

Lemma — Verifiable Provenance For Ai Agents

Created By
Lemma Oraclea month ago
AI agents make decisions you can't audit. Lemma fixes that with zero-knowledge proofs over confidential documents — selective disclosure, on-chain provenance, no plaintext exposure. Query cryptographically verified attributes from agents in production. Built for regulated industries and x402/MCP-native developers. Models change. Proofs remain.
Overview

Lemma Oracle

Give AI proven facts.

Lemma is a cryptographically verified truth layer for agent AI. It lets AI reason over confidential data via zero-knowledge proofs, selective disclosure, and tamper-evident provenance — while raw content stays encrypted.

Every attribute an AI reads through Lemma carries permanent provenance: who issued it, which schema defined it, how it was proven, and where its verification record is anchored.

Learn more

MCP server

@lemmaoracle/mcp is the Model Context Protocol (MCP) server for Lemma, published on npm and built with the official MCP SDK (@modelcontextprotocol/sdk). Point Claude Desktop or any MCP-compatible agent at it:

{
  "mcpServers": {
    "lemma": {
      "command": "npx",
      "args": ["-y", "@lemmaoracle/mcp"],
      "env": { "LEMMA_API_KEY": "YOUR_API_KEY" }
    }
  }
}

Tool list, env vars, and contributor build: packages/mcp/README.md · npm

Packages

Public packages in this monorepo:

  • packages/mcp/@lemmaoracle/mcp, the Model Context Protocol (MCP) server for AI agents (this is the package above).
  • packages/sdk/@lemmaoracle/sdk, TypeScript SDK for the Lemma API.
  • packages/spec/@lemmaoracle/spec, OpenAPI spec + shared TypeScript types.
  • packages/x402/@lemmaoracle/x402, x402 payment middleware drop-in.

Contact

For partnership and implementation inquiries, please use the contact form: https://lemma.frame00.com/services

License

This repository uses different licenses for different packages:

PackageLicense
packages/contracts, packages/relay, packages/passthroughBUSL-1.1 (changes to Apache-2.0 on 2030-05-01)
packages/sdk, packages/spec, packages/mcp, packages/parser, packages/x402Apache-2.0
packages/webPrivate (not distributed)

The root LICENSE file applies as the default. Each package may contain its own LICENSE file that takes precedence.


© 2026 FRAME00 Inc.

🇯🇵 日本語版はこちら / Japanese README

Server Config

{
  "mcpServers": {
    "lemma": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp"
      ],
      "env": {
        "LEMMA_API_KEY": "YOUR_API_KEY"
      }
    }
  }
}
Recommend Servers
TraeBuild with Free GPT-4.1 & Claude 3.7. Fully MCP-Ready.
ChatWiseThe second fastest AI chatbot™
Jina AI MCP ToolsA Model Context Protocol (MCP) server that integrates with Jina AI Search Foundation APIs.
Visual Studio Code - Open Source ("Code - OSS")Visual Studio Code
AiimagemultistyleA Model Context Protocol (MCP) server for image generation and manipulation using fal.ai's Stable Diffusion model.
Baidu Map百度地图核心API现已全面兼容MCP协议,是国内首家兼容MCP协议的地图服务商。
EdgeOne Pages MCPAn MCP service designed for deploying HTML content to EdgeOne Pages and obtaining an accessible public URL.
RedisA Model Context Protocol server that provides access to Redis databases. This server enables LLMs to interact with Redis key-value stores through a set of standardized tools.
WindsurfThe new purpose-built IDE to harness magic
Tavily Mcp
MiniMax MCPOfficial MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video generation APIs.
BlenderBlenderMCP connects Blender to Claude AI through the Model Context Protocol (MCP), allowing Claude to directly interact with and control Blender. This integration enables prompt assisted 3D modeling, scene creation, and manipulation.
Playwright McpPlaywright MCP server
DeepChatYour AI Partner on Desktop
Zhipu Web SearchZhipu Web Search MCP Server is a search engine specifically designed for large models. It integrates four search engines, allowing users to flexibly compare and switch between them. Building upon the web crawling and ranking capabilities of traditional search engines, it enhances intent recognition capabilities, returning results more suitable for large model processing (such as webpage titles, URLs, summaries, site names, site icons, etc.). This helps AI applications achieve "dynamic knowledge acquisition" and "precise scenario adaptation" capabilities.
CursorThe AI Code Editor
Serper MCP ServerA Serper MCP Server
Amap Maps高德地图官方 MCP Server
Y GuiA web-based graphical interface for AI chat interactions with support for multiple AI models and MCP (Model Context Protocol) servers.
Howtocook Mcp基于Anduin2017 / HowToCook (程序员在家做饭指南)的mcp server,帮你推荐菜谱、规划膳食,解决“今天吃什么“的世纪难题; Based on Anduin2017/HowToCook (Programmer's Guide to Cooking at Home), MCP Server helps you recommend recipes, plan meals, and solve the century old problem of "what to eat today"
MCP AdvisorMCP Advisor & Installation - Use the right MCP server for your needs