tapid-signatures cargo 0.0.4 clean Signing and verification foundations for Tapid 118 23h ago hashtree-client cargo 0.1.2 clean Verified Hashtree reads through a local daemon or standalone Nostr and Blossom clients 113 5d ago mail4agent-server cargo 0.4.7 clean Matrix-subset homeserver: protocol decisions plus the Client-Server HTTP routes. No users database, logins, registration or tariffs: identities are nick +… 110 18h ago skeletons cargo 0.2.1 clean Skeletons — keep your repos from drifting apart. A ritual bundle: it mounts in your project's ritual command line. 109 9h ago atlasauth cargo 0.6.3 clean Official Atlas backend verification crate: local RS256 session-token verification against a cached JWKS, plus API-key verification. The Rust peer of… 108 5d ago nexus-raw cargo 0.11.1 clean Verified, resumable directory uploads and downloads for Sonatype Nexus raw repositories 106 11h ago car-fleet cargo 0.57.2 clean Composite inventory of the CAR agents, capabilities and models reachable across a fleet of instances, and the wire contract for farming verified coding… 102 1d ago flight_tape cargo 0.1.6 clean Flight recorder for autonomous systems: bounded hash-chained decision tape, freeze-on-incident into signed bundles, offline verify and replay 102 5d ago spacedb-query cargo not built 0.7.0 did not build SpaceDB Layer 4 — compute-to-data: run a deterministic, fuel/memory-bounded WASM function next to the data and return a verifiable, corroboratable result. The… 101 22h ago devplane cargo 0.12.0 clean Know when an agent's work is actually done. Run any ACP agent in its own worktree, verify its change with your own checks run outside the agent, see the… 96 12h ago polyc-query-credential cargo not built 2026.10.2 did not build Credential verification and query scope derivation, shared by the control plane's forensics authorization funnel and the standalone Query plane, with no… 87 4d ago gaze-model-setup cargo 0.16.0 clean Install and verify pinned Gaze model bundles 85 3d ago ferrlabs-webhooks cargo 2.1.0 clean Inbound webhook verification: HMAC-SHA256 signatures and idempotent delivery dedup 79 5d ago ic-sig cargo 0.2.24 clean Signature verification by algorithm over X.509 public keys, and a software Signer, for IronCrypto 79 19h ago aleo-rust-sdk cargo 0.7.0 clean Rust SDK for the Aleo blockchain — accounts, programs, local/remote execution, ZK proving, on-chain verification 77 1d ago silicon-accounts-client cargo 0.5.0 clean Stateless Rust client for Silicon Accounts: sign Carbons and Silicons in, exchange tokens, verify proofs and webhooks. 77 1d ago sovereign_ledger cargo 0.3.3 clean Standalone hardened, hash-chained audit ledger with memory-pinned keys, inter-process locking, and fail-closed verification 70 5d ago multi-vlad cargo 0.2.2 clean Verifiable Long-Lived Address (VLAD) implementation 67 4d ago ic-lms cargo 0.2.24 clean HSS/LMS hash-based signature verification (RFC 8554, RFC 9858, SP 800-208) for IronCrypto 66 19h ago oan-package cargo not built 1.1.1 did not build Verified package and metadata models for OAN CDN delivery. 66 22h ago wickra-proof-cli cargo 0.2.0 clean Reference command-line prover/verifier over wickra-proof-core: fold a (spec, data) pair into a deterministic backtest report and canonical hash, and verify a… 66 5d ago knos-oidc-interface cargo 0.3.14 clean Read a GitHub Actions or GitLab CI OIDC token that the knos-oidc program verified on Solana. No dependencies. 65 3d ago hlin-identity cargo 0.1.1 clean Mint and verify the identity Hlin forwards to platforms 63 4d ago vgi-bridge cargo not built 0.19.0 did not build The per-community VGI bridge: holds the community's forge credentials, takes git-ns/bridge jobs from its VTC over TSP or DIDComm, runs the forge adapters,… 63 1h ago ic-multisig cargo 0.2.0 clean K-of-N approvals over a hashed subject: policy, ballots, tally, optional signatures. For Internet Computer canisters and the clients that verify them. 60 5d ago ros-madair-format cargo 0.1.0-alpha.22 clean The Rós Madair static-artifact FORMAT: manifest contract types + attestation verify, shared by the writer and readers (WASM-buildable) 60 18h ago agape-light cargo 0.5.0 clean Agapao's light client: the types and checks a verifier needs to follow Agapao's validators and prove its state 58 13h ago bytecode-lang cargo 0.3.0 clean LSB, the LexerSketch bytecode format: instruction set, verifier, disassembler, and versioned encoding. 58 2d ago wickra-zk cargo not built 0.2.0 did not build Command-line prover and verifier for wickra-zk: prove a backtest inside the zkVM and check the resulting receipt. 58 5d ago ferryman-edge-core cargo 0.1.3 clean Core types for ferryman-edge — RouteTable, mTLS reload, JWT verifier, per-tenant rate limiter. 53 14h ago 