scidonia

2 mods across 1 repository, 9 stars between them.

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