aprender-update cargo 0.71.4 none none Update check and self-update for sovereign binaries: newer of release and green nightly, sha256-verified, atomic swap 79 4d ago decdn-bao-range cargo 0.1.0 none none Leaf crate: iroh-blobs-free bao verified-range helpers (chunk-group alignment, encoded-size, range encode/verify) shared by decdn-cache (serve/import) and… 39 5d ago remote-luks-unlocker cargo 0.1.21 none none Unlock a LUKS-encrypted Linux server remotely over verified SSH. 227 5d ago llmshim-catalog cargo 0.3.4 none none Offline-first model metadata with verified defaults, models.dev, and local overrides 246 5d ago krabka-verified cargo 1.0.5 none none Formally verified pure kernels (Creusot) shared by Krabka crates 24 5d ago rightkit-media cargo 0.2.6 none none Verified FFmpeg artifact and lifecycle primitives for Right Suite media pipelines. 135 5d ago skyauth cargo 0.3.5 none none High-assurance, formally verified OAuth 2.1 and RFC 9449 DPoP authentication engine for the AT Protocol (Bluesky) 646 5d ago licentivo cargo – 0.10.0 did not build – Licentivo application licensing: activation, verified grants and metered operations 10 5d ago urma-web cargo 0.3.0 none none URMA Web profile URMAWEB1: flat site packages with pinned objects, packing and verified store 23 5d ago urma-git cargo 0.3.0 none none URMA Git snapshots, publication and verified checkout 71 5d ago chorrent cargo 0.5.5 none none Peer-to-peer and swarm file transfer over Iroh/QUIC with verified, chunked downloads 36 6d ago cellule-ltx cargo 0.2.0 none none SQLite LTX capture, object-store replication, and verified recovery for Cellule 21 6d ago paralock-evm cargo 0.1.1 none none EVM layer of Paralock: alloy clients for the ParalockHTLC and ParalockAdaptorEscrow escrows (lock, claim, refund, outcomes), escrow ids and claim digests,… 23 6d ago smbcloud-email-sdk cargo 0.7.3 none none Rust client for the smbCloud transactional email API — send email from a verified domain and read delivery status. 291 7d ago docx2typed-app cargo 0.2.0 none none Structure-preserving DOCX editing engine with verified MCP review workflows 49 7d ago cordis-verus cargo 0.2.0 none none Typed Rust Cordis runtime backed by a verified lifecycle kernel 17 7d ago cordis-kernel cargo 0.2.0 none none Executable Verus-verified Cordis lifecycle kernel 35 7d ago plexus-auth-core cargo 0.2.0 none none Sealed-type primitives for the Plexus auth framework: AuthContext, VerifiedUser, Principal. 145 7d ago agapao cargo 0.1.0 none none A client library for Agapao: verified reads through the light client, transactions built and signed as the wallet builds them, contracts through their schemas,… 8 8d ago burn_gekko_report cargo 0.2.1 none 2 Single-experiment project pages, figures and papers from verified Burn artifacts 18 8d ago burn_gekko_inference cargo 0.4.0 none none Checkpoint-verified, asynchronous native and WebGPU inference for Burn Gekko 13 8d ago eqiora-numerics cargo 0.1.3 none none Eqiora L3: numerical realizations and verified solver kernels 189 8d ago verus_builtin cargo 0.0.0-2026-10-11-0230 none none Verus Builtins: Rust definitions for core constructs in Verus 420K 8d ago oan-package cargo – 1.1.1 did not build – Verified package and metadata models for OAN CDN delivery. 66 8d ago exhash cargo 0.4.20 none none Verified line-addressed file editor using lnhash addresses 132 9d ago hekate-math cargo 0.12.1 none none Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,… 1.8K 9d ago syncthing-backup-tool cargo 0.1.0 none none Scheduled, verified ZIP snapshots with bounded retention for Linux 8 10d ago fnp-random cargo 0.4.0 none none NumPy-parity RNG: PCG64DXSM, distributions, oracle-verified deterministic streams. 25 10d ago burn_human_inference cargo 0.2.0 none none Verified bounded Burnpack transport and portable model tensor utilities 220 10d ago burn_human_motion cargo 0.2.0 none none Portable motion, rig, conditioning, and verified model artifact contracts 269 10d ago 