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
MCP server Claude CodeCodexCursor +2
LLM-powered logical reasoning with Prolog - Calculator for logic. Runs locally from the prolog-reasoner Python package.