"author:lollix91" matching MCP servers:

• dali2-logic-reasoner

  lollix91

  -

  license

  -

  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.

  Last updated 2026-07-21