Instructions file CodexOpenCode
Instructions for scidonia/rocq-piler, covering rocq-piler, rules, tools, build & test and benchmarks.
8 27d ago A 706 tokens
original Apache-2.0
rocq-piler
02MCP server Claude CodeCodexCursor +2
MCP server "rocq-piler" as configured in scidonia/rocq-piler. Runs locally from the rocq-piler npm package.
8 27d ago A
tokens not measured
original Apache-2.0