rikarazome

1 mods across 1 repository, 11 stars between them.

MCP server Claude CodeCodexCursor +2

LLM-powered logical reasoning with Prolog - Calculator for logic. Runs locally from the prolog-reasoner Python package.

11 4mo ago A tokens not measured original MIT