Skip to main content
Glama
81,811 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
    4
    Apache 2.0