Go
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
AGPL-3.0Sep 18, 2026 · metrics 2.10.0
All tags
Catalogue tag
#verification
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
142 records
PyPI
cocotb/cocotb
cocotb: Python-based chip (RTL) verification
BSD-3-ClauseSep 17, 2026 · metrics 2.10.0
crates.io · PyPI
model-checking/kani
Kani Rust Verifier
Apache-2.0Sep 18, 2026 · metrics 2.10.0
PyPI
munich-quantum-toolkit/qcec
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
MITOct 15, 2026 · metrics 2.10.0
PyPI · npm
NVIDIA-NeMo/Gym
Evaluate and improve models and agents using environments
Apache-2.0Sep 10, 2026 · metrics 2.10.0
npm
argotorg/sourcify
Source code verification service for Ethereum smart contracts
MITSep 19, 2026 · metrics 2.10.0
Go
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Custom licenseSep 17, 2026 · metrics 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
Custom licenseSep 17, 2026 · metrics 2.10.0
crates.io
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
LGPL-2.1Sep 14, 2026 · metrics 2.10.0
PyPI
OpenAdaptAI/OpenAdapt
Compiles a demonstrated GUI task into a program that reports VERIFIED only if an independent check agrees. pip install openadapt; openadapt flow tutorial. Compiler lives in openadapt-flow.
MITSep 10, 2026 · metrics 2.10.0
crates.io
google/zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Apache-2.0Sep 16, 2026 · metrics 2.10.0
RubyGems
pact-foundation/pact_broker
Enables your consumer driven contracts workflow
MITSep 12, 2026 · metrics 2.10.0
npm · crates.io
reticlehq/reticle
AI agents can generate code, but they still struggle to understand what they build. Reticle gives them runtime perception of web & desktop applications.
Custom licenseSep 13, 2026 · metrics 2.10.0
npm
intel/rohd
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
BSD-3-ClauseOct 18, 2026 · metrics 2.10.0
Maven · PyPI
typetools/checker-framework
Pluggable type-checking for Java
Custom licenseSep 14, 2026 · metrics 2.10.0
crates.io
verus-lang/verus
Verified Rust for low-level systems code
MITOct 20, 2026 · metrics 2.10.0
Maven
Vonage/vonage-java-sdk
Vonage Server SDK for Java. API support for SMS, Messages, Voice, Text-to-Speech, Numbers, Verify (2FA), Video and more.
Apache-2.0Sep 18, 2026 · metrics 2.10.0
crates.io · npm
dfinity/response-verification
Client side response verification for the Internet Computer
Apache-2.0Sep 26, 2026 · metrics 2.10.0
Maven · npm
mockk/mockk
mocking library for Kotlin
Apache-2.0Oct 19, 2026 · metrics 2.10.0
npm · crates.io
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache-2.0Oct 19, 2026 · metrics 2.10.0
npm · PyPI · Go
opena2a-org/agent-identity-management
The IAM layer for AI agents: cryptographic identity, capability authorization, and audit trails for non-human identities. Open source.
Apache-2.0Oct 9, 2026 · metrics 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MITSep 14, 2026 · metrics 2.10.0
npm
bsv-blockchain/ts-stack
No repository description published.
Custom licenseSep 6, 2026 · metrics 2.10.0
npm · PyPI
hypequery/hypequery
hypequery - The TypeScript analytics layer for ClickHouse
Custom licenseOct 20, 2026 · metrics 2.10.0
Packagist · Go
standard-webhooks/standard-webhooks
The Standard Webhooks specification
Apache-2.0Sep 8, 2026 · metrics 2.10.0
npm
tiagozip/cap
Free, open-source and self-hosted CAPTCHA alternative to reCAPTCHA. Privacy-first and powered by proof-of-work and instrumentation challenges.
Custom licenseSep 15, 2026 · metrics 2.10.0
PyPI · npm · crates.io +1
QWED-AI/qwed-verification
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
Apache-2.0Sep 18, 2026 · metrics 2.10.0
—
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Apache-2.0Sep 11, 2026 · metrics 2.10.0
crates.io · npm
boltffi/boltffi
A high-performance multi-language bindings generator for Rust, up to 1,000x faster than UniFFI. Ship Rust libraries that feels native to Python, Swift, Kotlin, and more
MITSep 12, 2026 · metrics 2.10.0
npm
emiliaprotocol/emilia-protocol
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.
Apache-2.0Sep 5, 2026 · metrics 2.10.0