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 1d ago pallet-verify-signature cargo 0.13.0 clean FRAME verify signature pallet 136K 10h ago car-verify cargo 0.56.1 clean Static plan verification for Agent IR 5.7K 11h ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 9h ago rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 1d ago aprender-verify-ml cargo not built 0.70.2 did not build Synthetic Data Factory for Domain-Specific Code Intelligence 733 6h ago aprender-verify cargo 0.70.2 clean A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework 574 6h ago octet-attest-verify cargo 2.5.0 clean Offline verification of mobile device-attestation evidence carried on an Octet LocationProof: Apple App Attest (attestation object + assertion, against Apple's… 281 5h ago frost-verify cargo 0.1.23 clean Verifiable shell configuration loading for frost/zsh 201 1d ago wickra-verify-core cargo 0.2.0 clean Deterministic core of wickra-verify: recompute a claimed backtest report and confirm or refute it field by field. 156 2d ago privatecrates-verify cargo 0.2.9 clean Verifies everything PrivateCrates wrote to a storage repository: append-only index, immutable releases and GitHub-signed provenance. 86 21h ago owl-dl-verify cargo 0.4.36 clean Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of… 80 2d ago wickra-verify-cli cargo 0.2.0 clean Reference command-line verifier over wickra-verify-core: recompute a claimed backtest report and confirm or refute it, exiting non-zero on a refuted claim for… 70 2d ago intyga-verify cargo 1.2.0 clean Offline verifier for INTYGA approval receipts (ES256 + WebAuthn) — no INTYGA secret, no network 43 9h ago frame-metadata-hash-extension cargo 0.17.0 clean FRAME signed extension for verifying the metadata hash 898K 12h ago cosmwasm-check cargo 3.0.11-rc.0 7 vulnerabilities 7 A CLI tool for verifying CosmWasm smart contracts 196K 15h ago foundation-firmware cargo 0.3.0 2 vulnerabilities 2 Foundation Devices, Inc. Passport Firmware image parser.This provides a command-line tool to verify the signatures of a Passportfirmware and also a `#[no_std]`… 13K 36m ago vta-vault cargo not built 0.15.0 did not build VTA holder credential vault — storage, query, receive/verify, present, and status refresh for credentials a holder stores on a VTA 6.6K 1d ago aprender-contracts-cli cargo 0.70.2 clean CLI for provable-contracts — validate, scaffold, verify, status, audit 6.3K 9h ago car-ffi-common cargo not built 0.56.1 did not build Shared logic for FFI bindings (NAPI, PyO3) — JSON wrappers for verify, multi-agent, scheduler 1.5K 9h 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 7h ago ppoppo-token cargo 0.51.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.3K 17h 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 1d ago cratefield-auth-client cargo 0.3.2 clean Verify auth-service tokens in a consuming app: JWKS fetch and cache, ES256 verification, and an axum extractor (issue #11) 518 22h ago cratefield-adapter-turnstile cargo 0.3.1 clean Captcha port over Cloudflare Turnstile siteverify for the Cratefield harness 413 1d ago rahi-ops cargo 0.5.0 clean The operational verbs of the rahi chassis: preflight, migrate, backup, restore, and ledger verify 387 23h 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 16h ago inillucent-migrate cargo 2.3.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. 302 12h ago attested-request cargo 0.1.1 clean Sign and verify World App attested-key canonical requests (TFH RFC 9421 integrity profile). 218 17h ago wuapi cargo not built Rust SDK for wuapi, a WhatsApp API for developers. Link numbers by QR or pairing code, send and receive messages, manage chats, contacts, groups and channels,… 155 2d ago 