A UNIX way test non-framework for the meticulous programmer who is also very lazy.
Prove Auth SDK for Web
Prove MobileAuth SDK
Prove ownership of a Solana wallet.
Prove Auth PPB integration
Prove ownership of a Solana wallet.
Prove Auth Device Context integration
Set and Map extension to prove a custom key derivation function
Prove function parameters using a simple schema.
Agent evaluation framework — prove whether agent changes improved outcomes with reproducible evidence.
arm-soil-prove
prove-nearest-talk-gasoline
pupil-check-prove-thus
OpenTelemetry span ingestion and storage over gRPC — prove whether agent changes improved outcomes.
Prove your agent skills work before you ship them.
Mono Prove Library
<div align="left"> <a href="https://speakeasyapi.dev/"><img src="https://custom-icon-badges.demolab.com/badge/-Built%20By%20Speakeasy-212015?style=for-the-badge&logoColor=FBE331&logo=speakeasy&labelColor=545454" /></a> </div>
SAG and LSAG ring signatures on secp256k1 — prove group membership without revealing identity
**Let AI agents prove their work — with video.**
Apple-native execution layer for AI coding agents: compile, validate, repair, and prove Swift surfaces.
Prove email address
When Claude says 'done', forgen makes it prove it — turn-level self-verification + personalized rules, at $0 extra API cost.
Pedersen commitment range proofs on secp256k1 — prove a value is in range without revealing it
Tokamak zk-EVM CLI for installing the local prover runtime and running synthesize, preprocess, prove, verify, and proof export commands.
prove struct
OtterSec plonky2 proof of reserves
Binary that integrates XLS capabilities into a driver program
Miden rollup proving service
Propositional logic with exponentials
ACIR is the IR that the VM processes, it is analogous to LLVM IR
Ligerito polynomial commitment scheme over binary extension fields
ZK DevKit for Stellar/Soroban — unified CLI for Groth16, UltraHonk, and RISC Zero
Core library for stellar-zk: traits, config, pipeline, templates
Groth16 backend for stellar-zk (Circom + snarkjs)
RISC Zero backend for stellar-zk (zkVM + Groth16 wrapper)
Noir + UltraHonk backend for stellar-zk (nargo + Barretenberg)
Prove makes it easy to verify phone numbers with voice and SMS.
Add the Keybase open protocol for identity proofs to your Rails app. There's a bunch of docs for how to use it.
ProveURU Gem
Guard::Prove automatically run your Perl tests (much like autotest)
A gem to prove the entire gem building and deploying process
Check https://iwilcox.me.uk/2014/proving-bitcoin-reserves for more details.
You can prove anything with facts!
Coming soon: gemophilia.
Ruby gem to prove client has the other half of a keypair
You can prove anything with facts!
Originally written by github user bradleyjames, minitest-proveit forces all tests to prove success (via at least one assertion) rather than rely on the absence of failure.
n-dimensional table interpolation
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.