Skip to main content
Glama
113,480 servers. Updated

"author:snegi26" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • Euclid-MCP

    snegi26
    A
    license
    A
    quality
    D
    maintenance
    Deterministic logical reasoning server for MCP clients that compiles facts, rules, and queries to Prolog and returns exact answers with proof trees.
    4
    MIT