rahi-ops cargo 0.6.0 clean The operational verbs of the rahi chassis: preflight, migrate, backup, restore, and ledger verify 434 2d ago inillucent-migrate cargo 2.5.4 clean Resumable copy-and-verify migration of a legacy inillucent index directory into a inillucent database, and the legacy direct index API over one. 427 5h ago anoma-rm-solana cargo 2.0.0-rc.6.1 clean Solana engine for Anoma Resource Machine transaction verification (syscall-based) 424 2d ago vgi-forge-forgejo cargo 0.19.0 clean Forgejo (and Gitea) adapter for VGI git namespaces: a scoped bot user with token rotation, OAuth2+PKCE binding and account linking, capability probing, repo… 414 30m ago cratefield-adapter-turnstile cargo 0.3.1 clean Captcha port over Cloudflare Turnstile siteverify for the Cratefield harness 413 5d ago skyauth cargo 0.3.3 clean High-assurance, formally verified OAuth 2.1 and RFC 9449 DPoP authentication engine for the AT Protocol (Bluesky) 412 4d ago vgi-forge-github cargo 0.19.0 clean GitHub adapter for VGI git namespaces: per-community GitHub App auth, repo creation and bootstrap, role projection, device-flow account linking and verified… 404 30m ago lgwks_deps cargo 3.0.1 clean Dependency admission, supply-chain policy, and debugger-doctor CLI for a Rust workspace: every external edge and default trace install is verified. 381 4d ago openlogi-fixture cargo 0.8.13 clean Host-free schemas and privacy verification for OpenLogi device fixtures. 381 2d ago codewhale-cloud-facts cargo not built 0.10.1 did not build Fetch + verified disk cache for the Codewhale cloud facts channel (facts/v1) 347 3d ago kamaji-containerd-core cargo 0.8.46 clean Shared containerd backend core for Kamaji (R592-T1) — OCI runtime-spec building, image/rootfs resolution, and task-status querying live here exactly once so… 340 1d ago rullst-iot cargo 13.0.0-alpha.1 clean no_std telemetry/frame helpers and signed firmware verification for Rullst. 334 1h ago bitwright cargo 0.15.0 clean Hash-consed fixed-width bit-vector expressions: exact evaluation, bit-level facts, and verified simplification. 332 2d ago stellar-agent-sep53 cargo not built 0.1.0-alpha.11 did not build SEP-53 prefixed-message sign/verify primitive for the Stellar agent wallet. 332 4d ago zisk-sdk cargo not built 1.3.2-alpha did not build High-level client SDK for proving and verifying programs on the ZisK zkVM 326 21h ago lenso-plugin-catalog cargo 0.1.3 clean Portable signed Lenso Plugin catalog protocol and verification. 306 5d ago varve-core cargo 0.40.0 clean Layer manifests, resolution, the core store, and verification wiring for varve 306 4d ago dev-bench cargo 0.10.0 clean Benchmark and regression detection for Rust. Percentile stats, baseline storage, threshold gating, structured CI-gateable verdicts. Part of the dev-*… 292 2d ago internetdata cargo 2.5.2 clean The official Rust client library for the InternetData API: download and verify the published IP intelligence databases. 273 12h ago burn_human_motion cargo 0.2.0 clean Portable motion, rig, conditioning, and verified model artifact contracts 269 2d ago slop-veil cargo not built 6.9.0 did not build Verifiable Encapsulation of Interactive proofs with Low overhead 268 21h ago dev-tools cargo 0.10.0 clean Rust verification toolkit. Tests, benches, coverage, fuzz, security audit, dep hygiene, mutation, chaos, async, stress — one crate, opt in with feature flags. 262 1d ago dev-fixtures cargo 0.9.5 clean Deterministic test fixtures for Rust: disposable project trees, golden-file snapshots, controlled mock data, file-tree builders. Part of the dev-* verification… 242 2d ago sw_identity_tls cargo 0.8.7 clean Identity-bound TLS for Sidewinder access: a self-signed certificate whose ephemeral leaf key is signed by an Algorand Ed25519 identity, verified peer-side… 224 3d ago burn_human_inference cargo 0.2.0 clean Verified bounded Burnpack transport and portable model tensor utilities 220 2d ago attested-request cargo 0.1.1 clean Sign and verify World App attested-key canonical requests (TFH RFC 9421 integrity profile). 218 4d ago webhookkit cargo 2.2.1 clean Webhook signature verification for Rust — HMAC-SHA256, timestamp validation, and provider-specific parsers for Stripe, GoCardless, and more 212 5d ago dev-stress cargo 0.9.5 clean High-load stress and soak testing for Rust. Concurrent workloads, latency percentiles, throughput collapse detection, sustained-pressure verdicts. Part of the… 206 2d ago remote-luks-unlocker cargo 0.1.19 clean Unlock a LUKS-encrypted Linux server remotely over verified SSH. 205 4d ago dev-async cargo 0.9.5 clean Async runtime verification for Rust: timeouts, deadlock detection, task tracking, hung-shutdown probes. The async failure modes that synchronous tests miss.… 199 2d ago 