mcp-z3-prover

Alternatives to mcp-z3-prover

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
• P

  pagespeed-insights-mcp

  75Good

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

  Registryruslanlap72 stars500/wk
• M

  MCP Fiscal Brasil

  73Good

  Ferramentas fiscais brasileiras: CNPJ, NF-e, IBS/CBS, ICMS, Simples Nacional, NCM/CFOP. Sem API key.

  Registrydehor-labs323 stars
• H

  Hive Intelligence MCP

  73Good

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

  RegistryRemotehive-intel20 stars200/wk
• S

  Screaming Frog SEO Spider MCP Server (headless)

  71Good

  Headless Screaming Frog SEO Spider via its CLI: run crawls, export and filter data, no GUI needed.

  Registrybzsasson93 stars
• A

  Assay MCP Server

  69Good

  Policy-enforcing MCP proxy with portable evidence output.

  Registryrul1an13 stars