Execute coq-proof-assistant-mcp

Alternatives to Execute coq-proof-assistant-mcp

Same category, ordered by trust score.

• K

  kordoc

  83Excellent

  Parse Korean documents (HWP, HWPX, PDF, XLSX, DOCX, PPTX) to Markdown; fill forms, diff, render.

  Registrychrisryugj2.5K stars44.2K/wk
• T

  trace-mcp

  78Good

  Code graph MCP: 81 languages, 88 frameworks, 72.7% fewer PR-review tokens, comprehension at parity

  Registrynikolai-vysotskyi194 stars3.4K/wk
• F

  Firecrawl MCP Server

  77Good

  MCP server for Firecrawl — web search, scraping, and biomedical/arXiv paper search.

  RegistryRemotefirecrawl7.6K stars
• P

  pagespeed-insights-mcp

  75Good

  Google PageSpeed Insights and CrUX: six workflow tools for web performance.

  Registryruslanlap72 stars500/wk
• H

  Hive Intelligence MCP

  73Good

  Evidence-backed crypto due diligence with sources, freshness, and a runtime receipt on every call.

  RegistryRemotehive-intel20 stars200/wk
• F

  Formhaus

  72Good

  Validate Formhaus form definitions and simulate multi-step paths against the real engine.

  Registryignsm3 stars1.3K/wk