| Prolog Reasoner | Pydantic AI | |
|---|---|---|
| Description | SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems. | Run Python code in a secure sandbox via MCP tool calls |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | Python | Python |
| License | MIT | MIT |
| Stars | 0 | 16387 |
| Website | https://pypi.org/project/prolog-reasoner/ | https://ai.pydantic.dev |
Prolog Reasoner and Pydantic AI are both MCP (Model Context Protocol) servers in the 💻 Code Execution category. Both are written in Python.