Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add --transport http lemma-verifiable-provenance-for-ai-agent https://lemma--lemmaoracle.run.tools~/.codex/config.toml
[mcp_servers.lemma-verifiable-provenance-for-ai-agent]
url = "https://lemma--lemmaoracle.run.tools"
# codex mcp add lemma-verifiable-provenance-for-ai-agent --url https://lemma--lemmaoracle.run.tools~/.cursor/mcp.json
{
"mcpServers": {
"lemma-verifiable-provenance-for-ai-agent": {
"url": "https://lemma--lemmaoracle.run.tools"
}
}
}.vscode/mcp.json
{
"servers": {
"lemma-verifiable-provenance-for-ai-agent": {
"type": "http",
"url": "https://lemma--lemmaoracle.run.tools"
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"lemma-verifiable-provenance-for-ai-agent": {
"httpUrl": "https://lemma--lemmaoracle.run.tools"
}
}
}claude_desktop_config.json · Customize › Connectors › Add custom connector
{
"mcpServers": {
"lemma-verifiable-provenance-for-ai-agent": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://lemma--lemmaoracle.run.tools"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"lemma-verifiable-provenance-for-ai-agent": {
"url": "https://lemma--lemmaoracle.run.tools"
}
}
}