| Prolog Reasoner | Node Code Sandbox MCP | |
|---|---|---|
| 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. | A Node.js–based Model Context Protocol server that spins up disposable Docker containers to execute arbitrary JavaScript. |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | Python | TypeScript |
| License | MIT | — |
| Stars | 0 | 152 |
| Website | https://pypi.org/project/prolog-reasoner/ | https://github.com/alfonsograziano/node-code-sandbox-mcp |
Prolog Reasoner and Node Code Sandbox MCP are both MCP (Model Context Protocol) servers in the 💻 Code Execution category. Prolog Reasoner is written in Python while Node Code Sandbox MCP uses TypeScript.