← Trending

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

factcircuit

github.com

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

Open source

Visit github.comexternal siteGitHub927 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. OpenFactVerification

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

    Hacker News238 ptsGitHub1,164 starsgithub.comOpen source2 reactionslatest reaction

  2. Algebruh

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

    Hacker News14 ptsGitHub8 starsgithub.comOpen source2 reactionslatest reaction

  3. attest-build-provenance

    Action for generating build provenance attestations for workflow artifacts

    GitHub1,074 starsgithub.comOpen sourcelatest reaction

  4. ATAC

    an event verification platform evidence based

    Hacker News8 ptsatac.seraum.comlatest reaction

  5. paperproof

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

    GitHub555 starsgithub.comOpen sourcelatest reaction