$ loading_
MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit reasoning problems for formal Prolog-based verification.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "dali2-logic-reasoner" yet — see the docs or source repo.