Skip to main content
Glama
104,737 servers. Updated

"author:Euclid-BG" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • 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
    124 PyPI
    7
    Apache 2.0