| Prolog Reasoner | Container Use | |
|---|---|---|
| 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. | Containerized environments for coding agents. Multiple agents can work independently, isolated in fresh containers and git branches. No conflicts, ... |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | Python | Go |
| License | MIT | Apache-2.0 |
| Stars | 0 | 3725 |
| Website | https://pypi.org/project/prolog-reasoner/ | https://container-use.com |
Prolog Reasoner and Container Use are both MCP (Model Context Protocol) servers in the 💻 Code Execution category. Prolog Reasoner is written in Python while Container Use uses Go.