← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

Math-Verify

github.com

Open source

Visit github.comexternal siteGitHub1,203 starsexternal site

Install and connect

From the official MCP Registry, Homebrew, npm, PyPI, and crates.io. Matched by repository or domain once a day.

Reactions (1)

Similar products

by description similarity

  1. Algebruh

    Cross-check arithmetic claims with Z3, cvc5, and Lean

    Hacker News14 ptsGitHub8 starsgithub.comOpen source2 reactionslatest reaction

  2. golitex

    Python of formal math

    Hacker News111 ptsGitHub686 starsgithub.comOpen source2 reactionslatest reaction

  3. Goldbach Conjecture up to 4*10^18+7*10^13

    Achieved a new world record in verifying the Goldbach Conjecture using grid computing, by extending the verification up to 4 quadrillion (4×10¹⁸) + 70 trillion (7×10¹³).

    Hacker News244 ptsmedium.comlatest reaction

  4. AppVerifier

    Verify apps easily.

    GitHub1,229 starsgithub.comMobileOpen sourcelatest reaction

  5. mathcode

    MathCode: A Frontier Mathematical Coding Agent

    GitHub751 starsgithub.comOpen sourcelatest reaction