"author:scidonia" matching MCP servers:

• rocq-piler

  scidonia

  A

  license

  -

  quality

  B

  maintenance

  MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.

  Last updated 2026-06-30

  9

  Apache 2.0