"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.

  Updated 12 days ago (2026-08-05 19:19 UTC)

  8

  Apache 2.0