Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.
Setup
Choose your client, copy the config, then fill in any required environment variables.
Local
claude mcp add lemmaoracle --env LEMMA_API_KEY='<LEMMA_API_KEY>' -- npx -y @lemmaoracle/mcp~/.codex/config.toml
[mcp_servers.lemmaoracle]
command = "npx"
args = ["-y", "@lemmaoracle/mcp"]
env = { LEMMA_API_KEY = "<LEMMA_API_KEY>" }
# codex mcp add lemmaoracle --env LEMMA_API_KEY='<LEMMA_API_KEY>' -- npx -y @lemmaoracle/mcp~/.cursor/mcp.json
{
"mcpServers": {
"lemmaoracle": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "<LEMMA_API_KEY>"
}
}
}
}.vscode/mcp.json
{
"servers": {
"lemmaoracle": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "<LEMMA_API_KEY>"
}
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"lemmaoracle": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "<LEMMA_API_KEY>"
}
}
}
}claude_desktop_config.json
{
"mcpServers": {
"lemmaoracle": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "<LEMMA_API_KEY>"
}
}
}
}.trae/mcp.json
{
"mcpServers": {
"lemmaoracle": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp"
],
"env": {
"LEMMA_API_KEY": "<LEMMA_API_KEY>"
}
}
}
}Remote
claude mcp add --transport http lemmaoracle https://mcp.lemma.workers.dev/mcp --header 'Authorization: <AUTHORIZATION>'~/.codex/config.toml
[mcp_servers.lemmaoracle]
url = "https://mcp.lemma.workers.dev/mcp"
http_headers = { Authorization = "<AUTHORIZATION>" }
# codex mcp add lemmaoracle --url https://mcp.lemma.workers.dev/mcp~/.cursor/mcp.json
{
"mcpServers": {
"lemmaoracle": {
"url": "https://mcp.lemma.workers.dev/mcp",
"headers": {
"Authorization": "<AUTHORIZATION>"
}
}
}
}.vscode/mcp.json
{
"servers": {
"lemmaoracle": {
"type": "http",
"url": "https://mcp.lemma.workers.dev/mcp",
"headers": {
"Authorization": "<AUTHORIZATION>"
}
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"lemmaoracle": {
"httpUrl": "https://mcp.lemma.workers.dev/mcp",
"headers": {
"Authorization": "<AUTHORIZATION>"
}
}
}
}claude_desktop_config.json · Customize › Connectors › Add custom connector
{
"mcpServers": {
"lemmaoracle": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://mcp.lemma.workers.dev/mcp",
"--header",
"Authorization:<AUTHORIZATION>"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"lemmaoracle": {
"url": "https://mcp.lemma.workers.dev/mcp",
"headers": {
"Authorization": "<AUTHORIZATION>"
}
}
}
}Environment variables
LEMMA_API_KEY
Replace the placeholders with your own credentials and keep them out of version control.