Directory / lemmapark.com
Lemma Park working
https://lemmapark.com/mcp
Before you pay
- Advice
ok- Protocol
- mcp · streamable-http
- Server
- lemma-park 0.7.9 · 6 tools
- Last check
- 13 min ago · 423 ms · HTTP 200
- Detail
- initialize ok, protocol 2025-06-18
Reliability
- Uptime 24 h
- 100.0%
- Uptime 7 days
- 99.2% (238 checks)
- Uptime 30 days
- 99.1% (signed daily)
- Listed by
- mcp-registry
- First seen
- 2026-11-05 22:06 UTC
Description (from the catalogue, unverified)
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-11 00:18 UTC | c329a861…be122a daily summary | 470738 |
| 2026-11-10 00:18 UTC | 8dc3469b…5410ef daily summary | 388191 |
| 2026-11-09 00:16 UTC | 2b21f0ce…2e16f9 daily summary | 296932 |
| 2026-11-08 00:13 UTC | 1aac6d04…ae2ecc daily summary | 218658 |
| 2026-11-07 14:44 UTC | c25edcbb…6f68b3 status change | 163421 |
| 2026-11-07 14:12 UTC | 794ec331…692cd7 status change | 163067 |
| 2026-11-07 00:17 UTC | 595aedbd…1283b2 daily summary | 139767 |
| 2026-11-06 17:18 UTC | 06885b0a…8e3dea status change | 81730 |
| 2026-11-06 16:47 UTC | d2471c8b…21df7c status change | 81100 |
| 2026-11-06 00:13 UTC | 7c87fa39…7bb814 daily summary | 48200 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/rndyqtfnwbeiodpe
Badge:
<a href="https://alalanet.com/s/rndyqtfnwbeiodpe"><img src="https://alalanet.com/badge/rndyqtfnwbeiodpe" alt="alalanet status"></a>Own this service? Claim it (free). Do not want it checked? See the prober page.