Skip to main content

85,994 servers. Updated 2026-09-12 10:23

"author:lollix91" matching MCP servers:

GET /v1/servers – MCP directory API reference

dali2-logic-reasoner
AI & Machine Learning Autonomous Agents
lollix91
F
license
Not graded
quality
C
maintenance
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.
Updated 2 months ago (2026-07-21 14:24 UTC)
-