← The evidence ledger
Evidence row 16939
Observed , by baseline/1.
- Kind
- listing
- About
- source_record mcp_registry:com.lemmapark/lab
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 0983a09acd73427a3e48a5098b7d62e4aac33de916cfbd16711af08d8a7be7ab
- Leaf
- 0x3dbcdfeec56abcfd615f84aabc65ccacaf9e8cf712c34408c0a0a327d62fa470
What was observed
{
"endpoints": [
[
"mcp",
"https://lemmapark.com/mcp"
],
[
"web",
"https://lemmapark.com/"
]
],
"name": "Lemma Park",
"owner_address": null,
"raw": {
"_meta": {
"io.modelcontextprotocol.registry/official": {
"isLatest": true,
"publishedAt": "2026-10-14T18:06:58.44348Z",
"status": "active",
"statusChangedAt": "2026-10-14T18:06:58.44348Z",
"updatedAt": "2026-10-14T18:06:58.44348Z"
}
},
"server": {
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"description": "Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.",
"name": "com.lemmapark/lab",
"remotes": [
{
"type": "streamable-http",
"url": "https://lemmapark.com/mcp"
}
],
"title": "Lemma Park",
"version": "0.7.8",
"websiteUrl": "https://lemmapark.com"
}
},
"source": "mcp_registry",
"summary": "Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join."
}What the leaf hashes
{"body":"0983a09acd73427a3e48a5098b7d62e4aac33de916cfbd16711af08d8a7be7ab","id":16939,"kind":"listing","method":"baseline/1","observed_us":1793025325353466,"prev":null,"subject":"mcp_registry:com.lemmapark/lab","subject_kind":"source_record"}Proof
Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.