public evidence dossier
io.github.rikarazome/prolog-reasoner
SWI-Prolog as a logic calculator for LLMs
Latest visible observation: 2026-08-30T22:30:41.080Z
Identity
namespacegithub · observed 2026-04-17T20:15:29.704455Z
registry statusactive · observed 2026-04-17T20:15:29.704455Z
origin systemsadoption, github, osv, pypi, registry · observed 2026-08-30T22:30:41.080Z
Distribution
repositoryhttps://github.com/rikarazome/prolog-reasoner · observed 2026-07-07T15:08:43.719250+00:00
npm packageUnknown · observed 2026-07-07T15:08:43.719250+00:00
PyPI packageprolog-reasoner · observed 2026-05-01T20:52:39.252961Z
hosted endpointUnknown
Maintenance and public findings
repository pushed2026-05-01T20:51:37Z · observed 2026-05-01T20:51:37Z
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.