Is the Lemmaoracle MCP server down?

mcp-registry/io.github.lemmaoracle/mcp · v0.0.23

Also listed as glama/lemmaoracle/lemma-oracle-mcp-server

healthy
Last checked 2026-10-17 22:19 UTC · handshake 189ms

As of 2026-10-17 22:19 UTC, the Lemmaoracle MCP server is up with a Glimind reliability score of 90/100 (grade A). Over the last 30 days it answered 99.9% of Glimind's liveness checks. It had 4 outages in 90 days, with a median recovery of 7 minutes.

uptime (30d checks)
99.9%
checks observed
3,606
outages (90d)
4
tools
5

Query ZK-verified attributes, selective disclosure, and on-chain provenance from Lemma Oracle.

Install Lemmaoracle MCP server

Add to Cursor Add to VS Code

Claude Code

claude mcp add --transport http lemmaoracle-mcp-server https://mcp.lemma.workers.dev/mcp

Claude Desktop · Windsurf · Cline (mcpServers JSON)

{
  "mcpServers": {
    "lemmaoracle-mcp-server": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp"
    }
  }
}

Third-party server, listed as discovered. Review its source before installing.

Agent-readiness: A (100/100)

A (100/100): 0 error(s), 0 warning(s) across 5 tool(s); ~1,533 tokens of tool definitions.
Scores higher than 98% of 15,324 MCP servers Glimind has audited.
Its tool list costs an agent ~1,533 tokens per session — more than 40% of servers.
no tool-poisoning patterns
Schemas100
Descriptions100
Safety hints100
Token cost100
Client compatibility100
Protocol100
Reliability100
Stability100

No problems found.

Get alerted

Get an email or webhook when this server's readiness drops by 10+ points, tool-poisoning text appears, or a tool breaks:

curl -X POST https://glimind.com/v1/subscriptions -H 'content-type: application/json' -d '{"tools":["mcp-registry/io.github.lemmaoracle/mcp"],"email":"[email protected]"}'

Agents: watch_tool({"toolId": "mcp-registry/io.github.lemmaoracle/mcp"}) over MCP.

Passed

Largest tool definitions

Static checks of the advertised tools/list (schema, descriptions, annotations, tool-poisoning patterns, names, size) plus observed protocol, uptime, latency and contract changes. Read-only: no tool is ever called. Weights: schema 15, docs 20, safety 15, efficiency 15, compatibility 15, protocol 5, reliability 10, stability 5. Token counts are estimates (~3.6 characters per token).

Operator? Fix these, then re-check live. Embed the readiness badge:

Markdown 
[![MCP agent-readiness](https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.lemmaoracle%2Fmcp.svg)](https://glimind.com/server/mcp-registry%2Fio.github.lemmaoracle%2Fmcp?ref=badge)
HTML 
<a href="https://glimind.com/server/mcp-registry%2Fio.github.lemmaoracle%2Fmcp?ref=badge"><img src="https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.lemmaoracle%2Fmcp.svg" alt="MCP agent-readiness"></a>
reStructuredText 
.. image:: https://glimind.com/v1/readiness/badge/mcp-registry%2Fio.github.lemmaoracle%2Fmcp.svg
   :target: https://glimind.com/server/mcp-registry%2Fio.github.lemmaoracle%2Fmcp?ref=badge
   :alt: MCP agent-readiness

Tool-definition log

Glimind records every version of this server's tool definitions in a signed, append-only transparency log. Current manifest sha256:260f8b1160200d28…, first seen 2026-10-17, included at leaf 1330 of 18,867. Version history · verify what your client received.

Tools (5)

Compare: most reliable ml servers · most reliable database servers

Know before your agent calls it

Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.

Add Glimind — free, no signup:

Add to Cursor Add to VS Code

Claude Code

claude mcp add --transport http glimind https://glimind.com/mcp

Claude Desktop · Windsurf · Cline (mcpServers JSON)

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is the Lemmaoracle MCP server down right now?

As of 2026-10-17 22:19 UTC, the Lemmaoracle MCP server is up with a Glimind reliability score of 90/100 (grade A). Over the last 30 days it answered 99.9% of Glimind's liveness checks. It had 4 outages in 90 days, with a median recovery of 7 minutes.

How many tools does Lemmaoracle MCP server provide?

Lemmaoracle MCP server advertises 5 tools, including lemma_get_circuit, lemma_get_generator, lemma_get_proof_status, lemma_get_schema, lemma_query_verified_attributes.

How do I install Lemmaoracle MCP server?

Point your MCP client at this streamable-http endpoint: https://mcp.lemma.workers.dev/mcp

Is the Lemmaoracle MCP server safe to connect to an AI agent?

Glimind scanned all 5 tool definitions for tool-poisoning patterns — hidden or invisible characters, instructions that override the model, concealment from the user, requests to read credential or MCP config files, conversation exfiltration and cross-tool shadowing — and found none. This checks what the server tells the model, not what its code does; review the source before granting access to sensitive data.

Operator of Lemmaoracle MCP server?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.