Evidence row 37658

What was observed

{
  "endpoints": [
    [
      "web",
      "https://hongchenlingjing.com/verify/"
    ]
  ],
  "name": "LingNao",
  "owner_address": null,
  "raw": {
    "_meta": {
      "io.modelcontextprotocol.registry/official": {
        "isLatest": true,
        "publishedAt": "2026-10-13T09:43:42.752413Z",
        "status": "active",
        "statusChangedAt": "2026-10-13T09:43:42.752413Z",
        "updatedAt": "2026-10-13T09:43:42.752413Z"
      }
    },
    "server": {
      "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
      "description": "LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.",
      "name": "io.github.genesis-plan/lingnao",
      "packages": [
        {
          "identifier": "lingnao-mcp",
          "registryType": "npm",
          "transport": {
            "type": "stdio"
          },
          "version": "1.4.2"
        }
      ],
      "repository": {
        "source": "github",
        "url": "https://github.com/genesis-plan/lingnao"
      },
      "title": "LingNao",
      "version": "1.4.2",
      "websiteUrl": "https://hongchenlingjing.com/verify/"
    }
  },
  "source": "mcp_registry",
  "summary": "LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed."
}

What the leaf hashes

{"body":"7baf2e1faf493e88a9451a94cea792e466f870ce4903b994335b0d162f41e106","id":37658,"kind":"listing","method":"baseline/1","observed_us":1793025390671954,"prev":null,"subject":"mcp_registry:io.github.genesis-plan/lingnao","subject_kind":"source_record"}

Proof

Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.