prolog-reasoner

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ MIT License

SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

mcp

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.