Skip to content
Open-Source Registry

Search 84 packages

Found
Build behaviour
Packages61–84 of 84VersionFindingsDescriptionDownloadsWhen
webhookkit cargo2.2.1clean Webhook signature verification for Rust — HMAC-SHA256, timestamp validation, and provider-specific parsers for Stripe, GoCardless, and more2122d ago
assura cargo0.6.01 detection 1Contract-first AI-native language. Write what it should do. AI proves it does.1902d ago
assura-macros cargo0.6.0clean Proc macros for inline Assura contract annotations in Rust1902d ago
crabka-verified cargo0.4.1clean Formally verified pure kernels (Creusot) shared by Crabka's consensus and log crates1791d ago
stellar-agent-sep7 cargonot built 0.1.0-alpha.10 did not buildSEP-7 web+stellar URI inbound parsing and anti-phishing signature verification for the Stellar agent wallet.1472d ago
automation-structures cargo0.3.1clean Checked state machines for budgets, selection, traversal, and automation execution flow.1442d ago
specodelic cargo0.5.22 notes 2Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it1172d ago
atlasauth cargo0.6.3clean Official Atlas backend verification crate: local RS256 session-token verification against a cached JWKS, plus API-key verification. The Rust peer of…1082d ago
polyc-query-credential cargonot built 2026.10.2 did not buildCredential verification and query scope derivation, shared by the control plane's forensics authorization funnel and the standalone Query plane, with no…8712h ago
privatecrates-verify cargo0.2.9clean Verifies everything PrivateCrates wrote to a storage repository: append-only index, immutable releases and GitHub-signed provenance.8622h ago
owl-dl-verify cargo0.4.36clean 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…802d ago
ferrlabs-webhooks cargo2.1.0clean Inbound webhook verification: HMAC-SHA256 signatures and idempotent delivery dedup792d ago
blabla cargo0.10.0clean Executable project memory for coding agents761d ago
sovereign_ledger cargo0.3.3clean Standalone hardened, hash-chained audit ledger with memory-pinned keys, inter-process locking, and fail-closed verification702d ago
echovalidum cargo0.3.1clean Echovalidum's Rust hot path, in Python and in the browser: trust-coherence lattice cells, the interval domain, and capability-checked 64-bit memory442d ago
intyga-verify cargo1.2.0clean Offline verifier for INTYGA approval receipts (ES256 + WebAuthn) — no INTYGA secret, no network4311h ago
aleo-rust-sdk cargo0.4.1clean Rust SDK for the Aleo blockchain — accounts, programs, local/remote execution, ZK proving, on-chain verification381d ago
touchstone-core cargo0.1.1clean Core types and verdict rules for the touchstone personal AGI conformance spec352d ago
aleo-cli cargo0.3.02 vulnerabilities 2CLI tool for Aleo blockchain — balance, transfer, deploy, execute, local proving, ZK verification291d ago
manitou cargo0.2.1clean Weight provenance: per-file SHA-256 manifests of model weights, signed brain_manifest records on every load/swap, and drift verification — which manitou was in…292d ago
morsh-auth cargonot built 0.1.0 did not buildAuthentication, SSH key parsing, and stealth knock verification for morsh121d ago
mido-guard cargo0.2.0clean Guardrails runner: the six-gate verification ladder described by .mido.toml823h ago
familiar-ai cargo0.0.0clean Proof that an AI coding agent's work is done: each requirement has a test that failed first, was not changed, and passes. In development; this release holds…62d ago
smeltery-temper cargo0.1.0clean Temper, the authentication flows of the Smeltery framework: login, logout, registration, password reset, email verification, password confirmation and profile…62d ago