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

"author:jcschuster" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • AtpMcp

    jcschuster
    A
    license
    A
    quality
    A
    maintenance
    Verify logical claims, prove theorems, and find counterexamples using automated theorem provers like E and Vampire.
    9
    MIT