MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
Disclosed vulnerabilities in this server's declared npm dependencies (via OSV). Whether each is reachable depends on the installed versions.
When Vitest UI server is listening, arbitrary file can be read and executed
Vitest allows Remote Code Execution when accessing a malicious website while Vitest API server is listening
Model Context Protocol (MCP) TypeScript SDK does not enable DNS rebinding protection by default
Zod denial of service vulnerability
process.env. You'll be asked to provide them before it can run.KB_DIR— kbDir ~/.local/share/prolog-mcp Knowledge base directory; ~ is expandedPROLOG_MCP_CONFIG— Config file: prolog-mcp.json in the working directory, or ~/.config/prolog-mcp.json. Override with .SWIPL_PORT— swiplPort 7474 Port for the SWI-Prolog HTTP daemon[](https://m8ven.ai/mcp/umuro-prolog-mcp-mna4og)