| Prolog Reasoner | Openapi 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. | OpenAPI-MCP: Dockerized MCP Server to allow your AI agent to access any API with existing api docs. |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | Python | Go |
| License | MIT | — |
| Stars | 0 | 182 |
| Website | https://pypi.org/project/prolog-reasoner/ | https://github.com/ckanthony/openapi-mcp |
Prolog Reasoner and Openapi MCP are both MCP (Model Context Protocol) servers in the 💻 Code Execution category. Prolog Reasoner is written in Python while Openapi MCP uses Go.