Skip to main content
Glama
lollix91

dali2-logic-reasoner

by lollix91
OverviewSchemaRelated ServersScoreDiscussions
Python
Remote

Related Servers

Alternatives to dali2-logic-reasoner

No user-submitted related servers found.

    Related Servers

    • Chiasmus

      yogthos
      A
      license
      Not graded
      quality
      B
      maintenance
      MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
      79
      210
      Apache 2.0

    • prolog-mcp

      umuro
      F
      license
      A
      quality
      C
      maintenance
      MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
      7
      7

    • Euclid-MCP

      Euclid-BG
      A
      license
      B
      quality
      A
      maintenance
      MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
      8
      4
      Apache 2.0

    • warrant-mcp

      jayden-chmod
      F
      license
      Not graded
      quality
      D
      maintenance
      An MCP server that provides formal reasoning and argument validation tools for AI agents based on established computational argumentation theories. It enables structured argument analysis, defeasible reasoning, and dialogue management using frameworks like Dung, Toulmin, and Walton's schemes.

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/lollix91/DALI2-Agent-Brain-MCP'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server