Skip to main content
Glama
Sign In
115,735 servers. Updated

"author:jtraverso" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • certo

    jtraverso
    A
    license
    Not graded
    quality
    A
    maintenance
    Enables mathematical proof exploration and verification over MCP, where each result includes a certificate that can be checked independently without trusting the solver.
    40 PyPI
    1
    MIT