scidonia/rocq-piler

MCP server for Coq LSP

This repository also configures its own agents. See what rocq-piler tells them →

9Stars on the repository
2Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

rocq-piler

01

scidonia/rocq-piler

MCP server Claude CodeCodexCursor +2

MCP server "rocq-piler" as configured in scidonia/rocq-piler. Runs locally from the rocq-piler npm package.

not rated 9 2mo ago A tokens not measured original Apache-2.0