rocq-piler
01MCP 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
MCP server for Coq LSP
This repository also configures its own agents. See what rocq-piler tells them →
MCP server Claude CodeCodexCursor +2
MCP server "rocq-piler" as configured in scidonia/rocq-piler. Runs locally from the rocq-piler npm package.