Skip to main content
Glama
quanticsoul4772

Logic-Thinking MCP Server

by quanticsoul4772
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Hybrid

Related Servers

Alternatives to Logic-Thinking MCP Server

No user-submitted related servers found.

    Related Servers

    • Logic-LM MCP Server

      shipitsteven
      A
      license
      Not graded
      quality
      F
      maintenance
      Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
      5
      MIT

    • math-rigor

      uxashleydavisfmnf
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables rigorous, machine-checked mathematical proving and proof review through 23 local tools that formalize propositions, verify each inference step with SMT and symbolic solvers, search for counterexamples, and run exact number-theoretic and high-precision arithmetic. Verdicts are strictly separated into proven, refuted, inconclusive, verified, sound_with_gaps, and flawed, so unproven steps are disclosed rather than hidden.
      MIT

    • MCP Logic

      autonull
      A
      license
      A
      quality
      D
      maintenance
      Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.
      13
      4
      MIT

    • Clear Thought 1.5

      waldzellai
      A
      license
      Not graded
      quality
      F
      maintenance
      Provides 30+ unified reasoning operations including systematic thinking, mental models, debugging approaches, statistical analysis, interactive notebooks, and advanced problem-solving frameworks for enhanced decision-making and complex reasoning tasks.
      82 npm
      53
      MIT

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Maintenance

    ActivityInactive
    ResponsivenessNo issues

    Resources