Skip to main content
Glama
95,585 servers. Updated

"author:scidonia" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • rocq-piler

    scidonia
    A
    license
    Not graded
    quality
    B
    maintenance
    MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.
    8
    Apache 2.0