public evidence dossier
io.github.daedalus/mcp-z3-prover
MCP server exposing Z3 solver API
Latest visible observation: 2026-08-30T22:30:41.080Z
Identity
namespacegithub · observed 2026-03-28T15:16:18.754741Z
registry statusactive · observed 2026-03-28T15:16:18.754741Z
origin systemsadoption, github, osv, pypi, registry · observed 2026-08-30T22:30:41.080Z
Distribution
repositoryhttps://github.com/daedalus/mcp-z3-prover · observed 2026-07-07T15:08:43.719250+00:00
npm packageUnknown · observed 2026-07-07T15:08:43.719250+00:00
PyPI packagemcp-z3-prover · observed 2026-03-28T15:16:07.968314Z
hosted endpointUnknown
Maintenance and public findings
repository pushed2026-04-22T14:56:18Z · observed 2026-04-22T14:56:18Z
repository archivedNo · observed 2026-07-07T15:08:43.719250+00:00
npm deprecatedUnknown · observed 2026-07-07T15:08:43.719250+00:00
OSV package advisoryNone on record · observed 2026-07-07T15:08:43.719250+00:00
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.