Claim & verify “Execute coq-proof-assistant-mcp”

Verified listings carry a badge, get a followed (dofollow) link to your website, and give you a direct line for updates. Verification is free.