rift-lint cargo 0.20.0 clean Configuration linter library and CLI for Rift imposter files 663 3d ago rift-types cargo 0.20.0 clean Shared core types for the Rift workspace (imposters, stubs, predicates). 395 3d ago rift-mock-core cargo 0.20.0 clean Rift core engine: imposter lifecycle, matching, behaviors, scripting and flow-state — usable in-process without the CLI or admin server. 300 3d ago rift-ejs cargo 0.21.0 clean The EJS template subset Rift's config loader evaluates, shared with rift-lint. 55 3d ago sp1-verifier cargo 6.9.0 clean Verifier for SP1 Groth16 and Plonk proofs. 803K 1d ago pallet-verify-signature cargo 0.13.0 clean FRAME verify signature pallet 136K 3d ago snowbridge-verification-primitives cargo 0.13.0 clean Snowbridge Verification Primitives 108K 3d ago agave-bls-cert-verify cargo 4.5.0-alpha.2 clean The BLS cert verify logic shared between sigverify and block marker consumption 75K 2d ago proofman-verifier cargo not built 1.3.2-alpha did not build STARK proof verifier with Poseidon transcripts for the PIL2 proofman framework 14K 2d ago rthrift cargo 0.11.0 clean Rust bindings for the Apache Thrift RPC system 11K 3d ago heddleco-capability-verifier cargo 0.30.0 clean Pure owner-anchored capability verification shared by Heddle and Weft 9.8K 1d ago serif cargo 0.3.1 clean An opinionated tracing-subscriber configuration with a focus on readability 9.3K 2d ago zisk-verifier cargo not built 1.3.2-alpha did not build Proof verifier for the ZisK zkVM proofs 7.3K 1d ago car-verify cargo 0.57.2 clean Static plan verification for Agent IR 5.8K 1d ago agave-bls-sigverify cargo not built 4.5.0-alpha.2 did not build Logic to process incoming alpenglow consensus messages 5.1K 2d ago triforce-lv2 cargo 0.4.0 clean Minimum variance distortionless response beamformer for Apple mic arrays 4.3K 6d ago heddle-biscuit-verifier cargo 0.30.0 clean Shared ordinary Biscuit access verification for Heddle, Weft, and browser hosts 2.8K 1d ago synth-verify cargo 0.84.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 1d ago rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 5d ago anodizer-stage-verify-release cargo not built 0.29.0 did not build Post-release verification gate for the anodizer release tool — asset-existence and content checks, publisher landing checks, install smoke-test, and… 1.1K 4h ago libpetri-verification cargo 11.0.0 clean Formal verification for libpetri Coloured Time Petri Net engine 1.1K 1d ago cheers-verify cargo 0.8.46 clean Verify-only surface for cheers — PasetoV4PublicVerifier (Ed25519 public key), RevocationReader, and the EdgeVerifier facade. Holds no minter, so it is… 912 1d ago fakecloud-verifiedpermissions cargo 0.49.0 clean AWS Verified Permissions (verifiedpermissions) control-plane and Cedar authorization implementation for FakeCloud 840 5d ago aprender-verify-ml cargo not built 0.70.3 did not build Synthetic Data Factory for Domain-Specific Code Intelligence 745 1d ago rigorix-verifier cargo 0.3.0 clean Protocol-only verifier for Rigorix audit envelopes — HMAC integrity, JSON Schema conformance, per-producer chain + anchor signatures. No rigorix-engine… 682 3d ago verify-trust cargo not built 0.18.1 did not build CI verifier for VGI: checks that every commit in a git range is signed by a DID the community's Trust Registry currently authorizes. 617 5d ago aprender-verify cargo 0.70.3 clean A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework 582 21h ago hekate-verifier cargo 0.37.0 clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. 554 4d ago verifpal cargo 1.6.4 clean Verifpal - cryptographic protocol analysis 491 4d ago molpha-verifier cargo 0.3.0-dev.17 clean Solana program library for verifying Molpha threshold-signed oracle updates 399 5h ago 