← 트렌딩

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

factcircuit

github.com

FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.

오픈소스

github.com 방문외부 사이트GitHub927 스타외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. OpenFactVerification

    Loki: Open-source solution designed to automate the process of verifying factuality

    Hacker News238점GitHub스타 1,164github.com오픈소스반응 2개최근 반응

  2. Algebruh

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

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

  3. attest-build-provenance

    Action for generating build provenance attestations for workflow artifacts

    GitHub스타 1,074github.com오픈소스최근 반응

  4. ATAC

    an event verification platform evidence based

    Hacker News8점atac.seraum.com최근 반응

  5. paperproof

    Lean theorem proving interface which feels like pen-and-paper proofs.

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