snowbridge-verification-primitives cargo 0.13.0 clean Snowbridge Verification Primitives 108K 11h ago libpetri-verification cargo 10.1.0 clean Formal verification for libpetri Coloured Time Petri Net engine 1.1K 1d ago contracts cargo 0.6.11 clean Design-by-contract attributes 2M 3d ago svix cargo 2.7.0 clean Svix webhooks API client and webhook verification library 1M 1d ago yubikey cargo 0.9.0-rc.0 clean Pure Rust cross-platform host-side driver for YubiKey devices from Yubico with support for hardware-backed public-key decryption and digital signatures using… 494K 2d ago dcap-qvl cargo 0.6.6 clean This crate implements the quote verification logic for DCAP (Data Center Attestation Primitives) in pure Rust. 445K 2h ago check-if-email-exists cargo 0.11.8 clean Check if an email address exists without sending any email 244K 8h ago aprender-contracts-macros cargo 0.70.2 clean Proc macros for compile-time contract enforcement — #[contract] attribute 42K 11h ago aprender-contracts cargo 0.70.2 clean Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels 36K 11h ago par2-rs cargo 0.10.8 clean PAR2 parity verification and repair 13K 7h ago greentic-mcp-exec cargo 1.2.0-dev.37708889650 11 vulnerabilities 11 Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing. 12K 3h ago rapx cargo not built 0.7.55 did not build A static analysis platform for Rust program analysis and verification 11K 1d ago heddleco-capability-verifier cargo 0.28.13 clean Pure owner-anchored capability verification shared by Heddle and Weft 9.5K 6m ago pathfinder-class-hash cargo 0.24.2 clean Pathfinder's class hash computation and verification 9.2K 12h ago mise-sigstore cargo 2026.10.2 clean Sigstore verification helpers for mise 7.1K 15h ago car-verify cargo 0.56.1 clean Static plan verification for Agent IR 5.7K 11h ago fallow-license cargo 3.32.0 clean Offline Ed25519-signed license JWT verification for the fallow CLI (paid feature gating) 4.7K 1d ago greentic-component-store cargo 1.2.0-dev.37717249992 clean Store abstraction and verification for Greentic components 4.4K 2h ago vtcode-eval cargo 0.173.2 clean Agent evaluation framework for VT Code: pass@k / pass^k metrics, capability and regression evals, and environment-based outcome verification. 3.0K 9h ago polyc-passkey cargo 2026.10.2 clean Standalone WebAuthn/passkey verification: P-256 (ES256) assertion checking against a registered SEC1 public key, with no dependency on Polychrome's persona… 2.4K 9h ago heddle-biscuit-verifier cargo 0.28.13 clean Shared ordinary Biscuit access verification for Heddle, Weft, and browser hosts 2.4K 3h ago assura-ast cargo 0.6.0 clean Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR 2.3K 2d ago assura-diagnostics cargo 0.6.0 clean Unified diagnostic types for the Assura compiler 2.3K 2d ago subduction_crypto cargo 0.10.0 clean Cryptographic types for Subduction: signed payloads, verification witnesses 2.3K 8h ago assura-parser cargo 0.6.0 clean Lexer, parser, and AST for the Assura contract language 2.3K 2d ago par3-rs cargo 0.4.5 clean PAR3 (Parity Volume Set 3.0) packet parsing, set inspection, verification, creation and repair — work in progress 2.2K 1d ago assura-config cargo 0.6.0 clean Project configuration and output mode types for the Assura compiler 2.1K 2d ago assura-stdlib cargo 0.6.0 clean Assura standard library contracts and prelude types 2.1K 2d ago assura-resolve cargo 0.6.0 clean Name resolution and symbol table for the Assura contract language 2.1K 2d ago assura-types cargo 0.6.0 clean Type checking for the Assura contract language 2.0K 2d ago 