Skip to main content
Glama

MCP Servers by lady-logic

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

X
16,948 servers. Last updated 2026-01-19 11:15

Matching MCP tools:

"author:lady-logic" matching MCP servers:

  • Logic-Thinking MCP Server

    quanticsoul4772
    -
    security
    A
    license
    -
    quality
    Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
    Last updated 3 months ago
    1
    MIT License

  • MCP-Logic

    angrysky56
    -
    security
    A
    license
    -
    quality
    MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
    Last updated a month ago
    39
    MIT License
    • Linux
    • Apple

  • Logic MCP Server

    Mnehmos
    -
    security
    F
    license
    -
    quality
    A backend server that executes advanced logic primitives and cognitive operations through the Model Context Protocol, allowing integration with various LLM providers for reasoning, data processing, and structured thought processing.
    Last updated 7 months ago
    29

  • MCP Logic

    automenta
    -
    security
    F
    license
    -
    quality
    Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.
    Last updated 18 days ago
    2

  • Logic-LM MCP Server

    shipitsteven
    -
    security
    A
    license
    -
    quality
    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.
    Last updated 5 months ago
    2
    MIT License

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord