| Prolog Reasoner | Capsule | |
|---|---|---|
| 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 untrusted Python/JavaScript code in WebAssembly sandboxes. |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | Python | Rust |
| License | MIT | Apache-2.0 |
| Stars | 0 | 276 |
| Website | https://pypi.org/project/prolog-reasoner/ | https://github.com/mavdol/capsule |
Prolog Reasoner and Capsule are both MCP (Model Context Protocol) servers in the 💻 Code Execution category. Prolog Reasoner is written in Python while Capsule uses Rust.