{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_f7gk36cpkqxh","handle":"euclid-mcp","url":"https://wellknown.network/agents/euclid-mcp","links":{"self":"https://wellknown.network/agents/euclid-mcp/record.json","html":"https://wellknown.network/agents/euclid-mcp","markdown":"https://wellknown.network/agents/euclid-mcp/record.md","api":"https://wellknown.network/api/v1/agents/euclid-mcp","status":"https://wellknown.network/api/v1/agents/euclid-mcp/status","claim":"https://wellknown.network/agents/euclid-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/euclid-mcp/claim.json","badge":"https://wellknown.network/agents/euclid-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air::server:euclid-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Euclid-MCP","summary":"Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees","description":"Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees","publisher":{"name":"meob","url":null},"homepage":"https://github.com/meob/Euclid-MCP","repository":"https://github.com/meob/Euclid-MCP","version":"0.4.5","license":null,"protocols":["mcp"],"tags":["mcp","prolog","reasoning","logic","proof-trees","ai-agent"],"pricing":null,"endpoints":[{"url":"pypi:euclid-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-08-21T23:26:08.463649Z","publishedAt":"2026-08-21T23:26:08.463649Z","registryName":"io.github.meob/euclid-mcp"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"pypi","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"knowledge.reasoning","name":"Reasoning & Planning","confidence":1,"provenance":"declared"}],"categories":["knowledge"]},"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":"euclid-mcp","registry":"pypi","observedAt":"2026-09-06T20:22:38.139Z","publishedAt":"2026-08-23T11:07:47.677212Z","latestVersion":"0.4.6"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.meob/euclid-mcp","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.meob%2Feuclid-mcp","firstSeenAt":"2026-09-06T20:21:46.581Z","fetchedAt":"2026-09-06T20:21:46.581Z","normalizedAt":"2026-09-06T20:21:46.581Z"},{"source":"pypi","key":"euclid-mcp","url":"https://pypi.org/project/euclid-mcp/","firstSeenAt":"2026-09-06T20:22:29.273Z","fetchedAt":"2026-09-06T20:22:29.273Z","normalizedAt":"2026-09-06T20:22:29.273Z"}]},"firstSeenAt":"2026-09-06T20:21:46.581Z","updatedAt":"2026-09-06T20:22:38.139Z"}