Topics / #verification

Verification projects on GitHub

Confirming that discovered secrets or findings are valid and active.

As of , the most-starred Verification projects on GitHub are trufflehog (28.5K stars), kani (3.5K stars) and NavierStokesAndEuler (2.1K stars). GitHub.Locker tracks 12 Verification repositories with 41K stars combined. The fastest-growing on October 16 was axiomcodegraph, with +17 stars in a day.

12Projects
41KStars in total
+54Stars in a day
Browse in the catalog →github.com/topics/verification ↗

Hot right now

Most stars gained in a day · Oct 16

+17

axiomcodegraph

AxiomCodeAI/axiomcodegraph · ★ 177

AxiomCode Graph turns a codebase into a knowledge graph built with formal methods (compiler-style type resolution) rather than syntax guessing, so AI coding agents can look up exact callers, callees, call paths and affected tests instead of grepping through code.

+16

trufflehog

trufflesecurity/trufflehog · ★ 28.5K

TruffleHog is a CLI tool that discovers, classifies, validates, and analyzes leaked secrets like API keys, database passwords, and private keys across many sources (Git, GitHub, S3, Docker, Slack, filesystems, and more).

+6

fermats-last-theorem

anthropics/fermats-last-theorem · ★ 1.3K

A complete, machine-checked Lean 4 proof of Fermat's Last Theorem built on Mathlib, following the Frey-Serre-Ribet-Wiles-Taylor-Wiles argument, and cross-checked by two independent kernels.

+5

open-ontologies

fabio-rovai/open-ontologies · ★ 1.1K

Open Ontologies lets you plan, apply and roll back changes to a production ontology: it shows every consequence as a blast-radius report before you apply a change, then hands the reviewer a proof they can re-check without trusting you or the engine.

The all-time top

12 projects · by stars

  1. #1 · trufflesecurity/trufflehog

    trufflehog

    TruffleHog is a CLI tool that discovers, classifies, validates, and analyzes leaked secrets like API keys, database passwords, and private keys across many sources (Git, GitHub, S3, Docker, Slack, filesystems, and more).

    28.5K
  2. #2 · model-checking/kani

    kani

    Kani is a bit-precise model checker for Rust programs: instead of sampling inputs like a test suite, it proves that your code is free of certain bugs and undefined behavior.

    3.5K
  3. #3 · openai/NavierStokesAndEuler

    NavierStokesAndEuler

    This repository contains Lean 4 formalizations (machine-checked formal proofs) of two OpenAI papers: 'Finite time blowup for Navier-Stokes' and 'Finite time blowup for the Euler equation'.

    2.1K
  1. 4

    reverify

    1.3K2akouwu/reverify · Python

    Reverify is a tool that stops AI agents from hallucinating facts by making a deterministic toolkit verify every claim the model makes against ground truth, with reverse engineering as the main proving ground.

  2. 5

    fermats-last-theorem

    1.3Kanthropics/fermats-last-theorem · Lean

    A complete, machine-checked Lean 4 proof of Fermat's Last Theorem built on Mathlib, following the Frey-Serre-Ribet-Wiles-Taylor-Wiles argument, and cross-checked by two independent kernels.

  3. 6

    nautilus-compass

    1.3Kchunxiaoxx/nautilus-compass · Python

    nautilus-compass is an open-source memory and reliability layer for AI coding agents: it gives them long-term memory, catches cases where the agent ignores recalled rules (drift detection), and ships its own benchmark suite to verify the claims independently.

  4. 7

    open-ontologies

    1.1Kfabio-rovai/open-ontologies · Rust

    Open Ontologies lets you plan, apply and roll back changes to a production ontology: it shows every consequence as a blast-radius report before you apply a change, then hands the reviewer a proof they can re-check without trusting you or the engine.

  5. 8

    constellation-gemini

    679brayonpi/constellation-gemini · Python

    Constellation is a demo project where Gemini turns an operator's spoken orbital-mission request into a checklist, HexStellar Cortex searches for a complete recovery schedule for a broken satellite network, and a separate independent Python program checks that schedule rule by rule before it's allowed to update the simulation.

  6. 9

    explainer

    445mizchi/explainer · HTML

    This repo provides Claude Code skills that help an AI write explanations tailored to one specific reader, cutting out what that reader already knows, with every claim and figure checked by tools instead of trusted blindly.

  7. 10

    huashu-excel

    439alchaincyf/huashu-excel · Python

    This is a Skill for AI coding agents that handles the entire Excel/data-analysis workflow: it profiles a messy spreadsheet, cleans it, aligns with the user on what to actually analyze, runs the analysis, reconciles the numbers against the sheet's own totals, and only then delivers a report.

  8. 11

    axiomcodegraph

    177AxiomCodeAI/axiomcodegraph · TypeScript

    AxiomCode Graph turns a codebase into a knowledge graph built with formal methods (compiler-style type resolution) rather than syntax guessing, so AI coding agents can look up exact callers, callees, call paths and affected tests instead of grepping through code.

  9. 12

    Choir

    116Weber-GeoML/Choir · Python

    Choir is an open protocol for distributed multi-agent autoformalization: a human overseer runs an orchestrator agent that breaks a large formalization project into tasks on a GitHub repo, which other contributors claim and work with their own agents, each billed to their own account.

Often tagged together