Is the Lemmapark Lab MCP server down?

mcp-registry/com.lemmapark/lab · v0.7.9

healthy
Last checked 2026-10-20 01:08 UTC · handshake 103ms

As of 2026-10-20 01:08 UTC, the Lemmapark Lab MCP server is up with a Glimind reliability score of 82/100 (grade B). Over the last 30 days it answered 99.6% of Glimind's liveness checks. It had 4 outages in 90 days, with a median recovery of 8 minutes.

uptime (30d checks)
99.6%
checks observed
907
outages (90d)
4
tools
6

Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.

Install Lemmapark Lab MCP server

Add to Cursor Add to VS Code

Claude Code

claude mcp add --transport http lemmapark-lab-mcp-server https://lemmapark.com/mcp

Claude Desktop · Windsurf · Cline (mcpServers JSON)

{
  "mcpServers": {
    "lemmapark-lab-mcp-server": {
      "type": "http",
      "url": "https://lemmapark.com/mcp"
    }
  }
}

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

Agent-readiness: C (74/100)

C (74/100): 0 error(s), 2 warning(s) across 6 tool(s); ~381 tokens of tool definitions.
Scores higher than 10% of 15,381 MCP servers Glimind has audited.
Its tool list costs an agent ~381 tokens per session — lighter than 95% of servers.
72 → 74 since 2026-10-17
no tool-poisoning patterns
Schemas100
Descriptions43
Safety hints30
Token cost100
Client compatibility70
Protocol100
Reliability100
Stability100

What to fix (3)

6 of 6 tool(s) carry no readOnlyHint/destructiveHint annotations.

Annotate read-only tools with {"readOnlyHint": true}. Agents and gateways can then run them without a confirmation prompt, and route around destructive ones. How to fix →

Tools: get_challenge, get_program, how_to_join, list_programs, read_chat and 1 more

6 parameter(s) across 4 tool(s) have no description.

Add a "description" to each parameter with its format and an example ("ISO 8601 date, e.g. 2026-10-17"). This is the commonest cause of wrong arguments on the first call. How to fix →

Tools: get_challenge, get_program, read_chat, search_notebook

No tool declares an outputSchema.

Declare outputSchema and return structuredContent (MCP 2025-06-18+). Agents can then parse results without guessing, and chain tools reliably. How to fix →

Auto-fix: 5 corrected tool definitions

Paste-ready definitions with the problems above fixed. Changes marked verify need a human look. 4 tool(s) still need parameter descriptions written by someone who knows the API. All of them as JSON: /v1/readiness/mcp-registry%2Fcom.lemmapark%2Flab/fixes

get_challenge 1 change 
{
  "name": "get_challenge",
  "description": "One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it.",
  "inputSchema": {
    "type": "object",
    "required": [
      "program",
      "name"
    ],
    "properties": {
      "name": {
        "type": "string"
      },
      "program": {
        "type": "string"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}
get_program 1 change 
{
  "name": "get_program",
  "description": "One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it.",
  "inputSchema": {
    "type": "object",
    "required": [
      "id"
    ],
    "properties": {
      "id": {
        "type": "string"
      }
    }
  },
  "annotations": {
    "readOnlyHint": true
  }
}
list_programs 1 change 
{
  "name": "list_programs",
  "description": "List the open problems Lemma Park is working on, with progress on each.",
  "inputSchema": {
    "type": "object",
    "required": [],
    "properties": {}
  },
  "annotations": {
    "readOnlyHint": true
  }
}

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/com.lemmapark/lab"],"email":"[email protected]"}'

Agents: watch_tool({"toolId": "mcp-registry/com.lemmapark/lab"}) 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%2Fcom.lemmapark%2Flab.svg)](https://glimind.com/server/mcp-registry%2Fcom.lemmapark%2Flab?ref=badge)
HTML 
<a href="https://glimind.com/server/mcp-registry%2Fcom.lemmapark%2Flab?ref=badge"><img src="https://glimind.com/v1/readiness/badge/mcp-registry%2Fcom.lemmapark%2Flab.svg" alt="MCP agent-readiness"></a>
reStructuredText 
.. image:: https://glimind.com/v1/readiness/badge/mcp-registry%2Fcom.lemmapark%2Flab.svg
   :target: https://glimind.com/server/mcp-registry%2Fcom.lemmapark%2Flab?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:08c33bf71abe703f…, first seen 2026-10-17, included at leaf 1673 of 29,850. Version history · verify what your client received.

Tools (6)

Compare: most reliable retrieval servers · most reliable knowledge servers · most reliable communication servers · most reliable search 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 Lemmapark Lab MCP server down right now?

As of 2026-10-20 01:08 UTC, the Lemmapark Lab MCP server is up with a Glimind reliability score of 82/100 (grade B). Over the last 30 days it answered 99.6% of Glimind's liveness checks. It had 4 outages in 90 days, with a median recovery of 8 minutes.

How many tools does Lemmapark Lab MCP server provide?

Lemmapark Lab MCP server advertises 6 tools, including get_challenge, get_program, how_to_join, list_programs, read_chat.

How do I install Lemmapark Lab MCP server?

Point your MCP client at this streamable-http endpoint: https://lemmapark.com/mcp

Is the Lemmapark Lab MCP server safe to connect to an AI agent?

Glimind scanned all 6 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 Lemmapark Lab 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.

Feedback
Help us improve