public evidence dossier

io.github.meob/euclid-mcp

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

Latest visible observation: 2026-08-30T22:30:41.080Z

Run a preflight Open expert evidence

Identity

namespacegithub · observed 2026-07-13T14:43:06.638282Z

registry statusactive · observed 2026-07-13T14:43:06.638282Z

origin systemsgithub, osv, pypi, registry · observed 2026-08-30T22:30:41.080Z

Distribution

repositoryhttps://github.com/meo/euclid-mcp · observed 2026-07-14 23:33:34

npm packageUnknown · observed 2026-07-14 23:33:34

PyPI packageeuclid-mcp · observed 2026-08-13T07:19:41.640005Z

hosted endpointUnknown

Maintenance and public findings

repository pushedUnknown

repository archivedUnknown · observed 2026-07-14 23:33:34

npm deprecatedUnknown · observed 2026-07-14 23:33:34

OSV package advisoryNone on record · observed 2026-07-14 23:33:34

Hosted liveness

last endpoint observationUnknown

reported MCP revisionUnknown

Limits

This dossier reports public evidence. It is not a safety, code, permission, scope, runtime, or penetration-test verdict. Missing evidence remains unknown.