Rocqet Search!

Semantic search across Rocq/Coq libraries — describe it in plain language.

/

Use it from Claude Code / an MCP client →

claude mcp add rocqet \
  --env ROCQET_API_URL=https://rocqet-api.onrender.com \
  -- rocqet-mcp

Exposes semantic search as agent tools. See the README.