Skip to main content
Glama
90,144 servers. Updated

"author:jdhart81" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • logosphere

    jdhart81
    A
    license
    Not graded
    quality
    B
    maintenance
    Provides an MCP server for building inspectable reasoning graphs, capturing arguments and evidence, and verifying conditional conclusions using Lean.
    Apache 2.0