Skip to main content
Glama
89,151 servers. Updated

"author:bauerelizabeth07139" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • math-rigor

    bauerelizabeth07139
    A
    license
    Not graded
    quality
    A
    maintenance
    Enables rigorous, auditable mathematical proving with machine-checked steps, honestly distinguishing proven, refuted, and inconclusive results while disclosing unverified gaps.
    MIT