MCP server: One MCP server.Rocq Prover
@mrfentmen · External
Rocq Prover MCP: 20 real tools to read, check, lint, scaffold, build and run Rocq Prover code.
Not assessedNot assessed yet.UnknownWhat it can do is not assessed yet.npmRuns on your machine, installed from npm.FreeFree to use. Not assessedNot assessed yet.What it can do is not assessed yet.Runs on your machine, installed from npm.FreeFree to use. Not assessed yet.What it can do is not assessed yet.Runs on your machine, installed from npm.FreeFree to use.