← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

Math-Verify

github.com

오픈소스

github.com 방문외부 사이트GitHub1,203 스타외부 사이트

설치·연결

공식 MCP Registry, Homebrew, npm, PyPI, crates.io에서 저장소나 도메인으로 맞춰 하루 한 번 가져옵니다.

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Algebruh

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

    Hacker News14점GitHub스타 8github.com오픈소스반응 2개최근 반응

  2. golitex

    Python of formal math

    Hacker News111점GitHub스타 686github.com오픈소스반응 2개최근 반응

  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점medium.com최근 반응

  4. AppVerifier

    Verify apps easily.

    GitHub스타 1,229github.com모바일오픈소스최근 반응

  5. mathcode

    MathCode: A Frontier Mathematical Coding Agent

    GitHub스타 751github.com오픈소스최근 반응