verification

trufflehog

+185

Find, verify, and analyze leaked credentials

creusot

+26

Creusot helps you prove your Rust code is correct.

kani

+23

A model checker for Rust programs.

watch-skill

+31

Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence and proves work with deterministic contracts, not model opinion. DeepWatch is the agent workspace built on DeepSeek Harness. Python + npm, MCP, CLI, REST, Web.

reverify

+27

Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.

quint-co/quint

+17

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

tlaplus

+9

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

email-verifier

+8

:white_check_mark: A Go library for email verification without sending any emails.

FStar

+8

A Proof-oriented Programming Language