Prolog Reasoner vs Mcp Server

Side-by-side comparison of two Model Context Protocol servers — install paths, tools, quality signals, and directory engagement so you can pick the right one for Claude, Cursor, and other MCP clients.

Compare
P
Prolog Reasoner
rikarazome
👨‍💻 Code Execution
M
Mcp Server
telleroutlook/agentkit-js
👨‍💻 Code Execution
SummarySWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.Code-mode MCP server: collapses N user-defined tools into a two-tool surface (executecode + docssearch). Backed by a unified capability manifest (allowedHosts / cpuMs / memoryLimitBytes) honoured across three sandbox kernels — in-process node:vm, WASM (QuickJS / Pyodide / Wasmtime), and remote microVM (E2B / Cloudflare Sandbox). Token-saving benchmark in repo CI.
Quality signal20/100 (Emerging)24/100 (Emerging)
Install pathnpx · lownpx · low
Engagement 0 0 0 0 0 0
ToolsNot listed yetNot listed yet
Verified / officialNoNo
Open listingView Prolog ReasonerView Mcp Server
More alternatives to Prolog ReasonerMore alternatives to Mcp ServerCode Execution category

Other servers like Prolog Reasoner