dali2-logic-reasoner
MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit rea…
Live
Open / InstallLast updated July 27, 2026
Description
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.
Author
lollix91
Platform
mcp
Pricing model
free
Categories
mcp
Tags
hosting:remote-capable
mcp
glama
Capabilities
- MCP server