MCP server Claude CodeCodexCursor +2
LLM-powered logical reasoning with Prolog - Calculator for logic. Runs locally from the prolog-reasoner Python package.
not rated 12 5mo ago A
tokens not measured
original MIT
12Stars on the repository
1Mods indexed here, across every type
5mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown