qail cargo 3.0.2 clean QAIL SchemaOps CLI - schema pull, drift diff, phased migrations, lint, and AST query tooling 2.2K 5h 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 4d ago polyc-mmr cargo not built 2026.10.2 did not build Merkle Mountain Range (MMR) verifiable event log for polychrome. 2.0K 4d ago assura-smt cargo 0.6.0 1 detection 1 SMT-based verification for Assura contracts via Z3 1.9K 5d ago ppoppo-sdk-core cargo 0.56.0 clean Internal shared primitives for the Ppoppo SDK family (ppoppo-pas-external, ppoppo-pas-plims, ppoppo-pcs-external, ppoppo-pcs-session) — verifier port, audit… 1.9K 5h ago lenso-plugin-bundle cargo 0.6.2 clean Immutable Lenso Plugin Release manifests, bundle materialization, and verification. 1.8K 5d ago greentic-mcp-exec-dev cargo 1.2.38037747582 9 vulnerabilities 9 Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing. 1.8K 1d ago ppoppo-schema-constrained cargo 0.56.0 clean Enum ↔ SQL CHECK anchor: compile-time exhaustiveness guard + DB-drift binding, shared by PAS (scaccounts) and PCS (scchat) 1.8K 5h ago baukit-openapi cargo 0.10.18 clean Small OpenAPI metadata, serialization, writing, and drift-check helpers. 1.8K 2h ago hekate-math cargo 0.12.1 clean 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 1d ago rff-format-avi cargo 0.2.2 clean Remade FFmpeg (Rust): AVI (Audio Video Interleaved) container muxer/demuxer. 1.8K 2d ago attest-ledger-types cargo 0.2.0 clean Data types for attest-ledger: the tamper-evident LedgerRecord envelope, signed ChainAnchor, and verification error taxonomy. 1.7K 23h ago drand cargo 0.3.0 clean Fetch and strictly verify drand randomness beacons: no_std/wasm verifier core plus an async multi-relay client 1.7K 2d ago prikk-crypto cargo 0.50.0 clean Ed25519 signing and verification primitives for Prikk. Internal to the prikk CLI; its API may change without notice before 1.0. 1.7K 1d ago attest-ledger-core cargo 0.2.0 clean Hashing, Ed25519 anchor signing, and independent verification for the attest-ledger tamper-evident record chain and audit-segment chain. 1.7K 23h ago prikk-store cargo 0.50.0 clean Repository storage engine for Prikk -- layout, object storage, WAL durability, verification, and patch replay. Internal to the prikk CLI; its API may change… 1.6K 1d ago car-ffi-common cargo not built 0.57.2 did not build Shared logic for FFI bindings (NAPI, PyO3) — JSON wrappers for verify, multi-agent, scheduler 1.6K 1d ago polyc-payments-client cargo 2026.10.2 clean Standalone outbound 402-gated payment client for Tempo (Machine Payments Protocol): pays a server's payment challenge, enforces a per-call spend cap and… 1.5K 3d ago polyc-payments-server cargo 2026.10.2 clean Inbound 402 metering server: issue Tempo/x402 payment challenges and verify credentials, standalone of any outbound payment client. 1.5K 3d ago cc-lb-plugin-conformance cargo 0.3.0 clean In-process conformance harness for cc-lb wasmtime plugin authors. Verifies plugin ABI and wire fingerprint matches host. 1.5K 4d ago adam_core_rs_kernel_data cargo not built 0.5.8 did not build Kernel/data-file resolution for adam-core Rust consumers: overrides, installed Python, cache, and verified wheel fetch 1.5K 5d ago ppoppo-token cargo 0.56.0 clean JWT (RFC 9068, EdDSA) issuance + verification engine for the Ppoppo ecosystem. Single deep module with a small interface (issue, verify) hiding RFC 8725… 1.4K 5h ago rattler_sigstore cargo 0.2.3 clean Discovery, retrieval and verification of Sigstore attestations for conda packages 1.4K 4d ago ikigai-browse cargo 0.18.4 clean Repository browsing as ikigai resources: per-root tree / file / git-state / hash endpoints, an archived LLM explanation layer, W3C Web Annotations that… 1.3K 14h ago baukit-auth cargo 0.10.18 clean OIDC, Clerk, and WorkOS token verification, personal access tokens, and Axum principal extraction for Baukit services. 1.3K 2h ago areev-run cargo 1.12.2 clean The Areev agent runtime driver: executes OMS Workflow grains over the deterministic scheduler core, journaling every effect as content-addressed grains —… 1.3K 5d ago confer-cli cargo not built 0.8.42 did not build A git-native coordination substrate for fleets of AI agents — an append-only, signed, verifiable message log with a thin liveness layer, no database and no… 1.2K 20h ago smix-runner-sources cargo 14.1.0 clean Embedded Swift runner sources for smix — solves the CLI/runner version-drift problem where cargo install ships only the Rust binary but the runner project is… 1.1K 3h ago rff-format-wav cargo 0.2.2 clean Remade FFmpeg (Rust): WAV (RIFF/WAVE) audio container. 1.1K 2d ago rig-cassette cargo 0.44.0 clean Effect-log and provider HTTP recording, replay, scrubbing and verification for Rig. 1.1K 4d ago 