{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_w4dujnrhff73","handle":"lingnao-mcp","url":"https://wellknown.network/agents/lingnao-mcp","links":{"self":"https://wellknown.network/agents/lingnao-mcp/record.json","html":"https://wellknown.network/agents/lingnao-mcp","markdown":"https://wellknown.network/agents/lingnao-mcp/record.md","api":"https://wellknown.network/api/v1/agents/lingnao-mcp","status":"https://wellknown.network/api/v1/agents/lingnao-mcp/status","claim":"https://wellknown.network/agents/lingnao-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/lingnao-mcp/claim.json","badge":"https://wellknown.network/agents/lingnao-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/lingnao-mcp/history","tools":"https://wellknown.network/api/v1/agents/lingnao-mcp/tools"},"ard":{"identifier":"urn:air::server:lingnao-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"LingNao","summary":"LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.","description":"LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.","publisher":{"name":"genesis-plan","url":null},"homepage":"https://hongchenlingjing.com/verify/","repository":"https://github.com/genesis-plan/lingnao","version":"1.4.2","license":"SEE LICENSE IN LICENSE","protocols":["mcp"],"tags":["mcp","model-context-protocol","agent","reasoning","planning","causal-inference","a-star","embodied","lingnao","灵脑","世界通用大脑","确定性推理","物理载体","certified-reasoning","no-hallucination","auditable","formal-proof","entailment","verification"],"pricing":null,"endpoints":[{"url":"npm:lingnao-mcp","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-13T09:43:42.752413Z","npmKeywords":["mcp","model-context-protocol","agent","reasoning","planning","causal-inference","a-star","embodied","lingnao","灵脑","世界通用大脑","确定性推理","物理载体","certified-reasoning","no-hallucination","auditable","formal-proof","entailment","verification"],"publishedAt":"2026-10-13T09:43:42.752413Z","registryName":"io.github.genesis-plan/lingnao"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","license":"npm","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"knowledge.reasoning","name":"Reasoning & Planning","confidence":1,"provenance":"declared"}],"categories":["knowledge"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"lingnao-mcp","registry":"npm","observedAt":"2026-10-26T02:18:48.329Z","publishedAt":"2026-10-13T07:19:46.655Z","latestVersion":"1.4.2","weeklyDownloads":36},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"npm","key":"lingnao-mcp","url":"https://www.npmjs.com/package/lingnao-mcp","firstSeenAt":"2026-09-30T02:18:35.281Z","fetchedAt":"2026-10-26T02:18:18.830Z","normalizedAt":"2026-10-26T02:18:18.830Z"},{"source":"mcp_registry","key":"io.github.genesis-plan/lingnao","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.genesis-plan%2Flingnao","firstSeenAt":"2026-10-10T11:18:32.528Z","fetchedAt":"2026-10-26T13:21:31.349Z","normalizedAt":"2026-10-26T13:21:31.349Z"}]},"firstSeenAt":"2026-09-30T02:18:35.281Z","updatedAt":"2026-10-26T02:18:48.329Z"}