tatara-platform-checks cargo 0.4.5 clean Platform-wide invariant checks over the registered tatara catalog. Each invariant walks the capability registries, asserting properties no single domain can… 1.1K 5h ago cheers-core cargo 0.8.46 clean Contract surface for cheers — identity types, error hierarchy, CredentialStore, and the keyless TokenMinter/TokenVerifier traits. No crypto, no I/O. 1.1K 1d ago engenho-substrate cargo 0.53.130 clean engenho-substrate — the substrate leaf: every module a shipped engenho crate references (derivations and caches, receipts, quorum, ledgers, verifiers, rollout… 1.0K 2d ago rag-rat-dream cargo 0.24.1 clean AI memory-maintenance passes for the rag-rat workspace: the deterministic findings worklist, and the model-driven verify/compact passes over repo memories. 1.0K 2d ago agntcy-shadi-agent-secrets cargo 0.4.1 clean Keychain-backed secret storage and access verification for SHADI. 997 2d ago dev-report cargo 0.9.8 clean Structured JSON reports for Rust verification tooling. Stable, versioned wire format with optional terminal, markdown, SARIF, and JUnit XML rendering.… 949 2d ago arcbox-asset cargo 0.9.0 clean Generic asset download, verification, and caching primitives 943 3d ago fraiseql-webhooks cargo 2.16.0 clean Webhook signature verification and event processing for FraiseQL 929 1d ago libxml-rs cargo 0.1.0-alpha.60 clean Native-Rust forensic reimplementation of libxml2+libxslt with C ABI drop-in replacement. Cross-version oracle matrix (libxml2 2.7.8-2.15.3, libxslt… 901 3d ago crypto-database cargo 11.12.16 clean The verifiable v2/v3 distribution of NEDB: content-addressed Merkle DAG, AS OF time-travel, causal provenance, BLAKE2b tamper-evidence. 855 4d ago libpetri cargo 10.1.0 clean Coloured Time Petri Net engine with formal verification 816 5d ago ppoppo-pas-external cargo 0.56.0 clean Ppoppo Accounts System (PAS) external SDK — OAuth2 PKCE, JWT verification port, Axum middleware, refresh-token cipher 816 5h ago dsse cargo 0.1.2 clean DSSE (Dead Simple Signing Envelope) with PAE pre-authentication encoding: envelope construction, signing, and threshold verification. 773 2d ago fodid-client cargo 4.5.8-52 clean Client for the 51Did (51Degrees Identifier) two-step verification: fetches and caches the published signing keys, verifies a 51Did signature offline or through… 772 4m ago espectacular cargo not built 0.11.0 did not build Behavioral verification layer enforcing spec-test correspondence in AI-assisted development 758 20h ago minip2p-tls cargo 0.7.7 clean libp2p TLS certificate generation and peer verification 749 22h ago baukit-integrations cargo 0.10.18 clean Provider-neutral connector contract for cursor-paged imports, verified webhooks, and connection health. 733 3h ago qleisli cargo 0.3.0-alpha clean Experimental quantum language with linear ownership, exact contracts and independent finite IR verification 697 15m ago rigorix-schemas cargo 0.3.0 clean Canonical Rigorix contracts (JSON Schemas + conformance fixtures), embedded at build time and consumable by the verifier, clients, and servers — one copy, no… 689 4d ago ikigai-passkey cargo 0.1.50 clean A minimal single-user WebAuthn (ES256) assertion verifier: check a passkey assertion against one registered credential — origin, RP-ID, challenge,… 680 3h ago ikigai-sign cargo 0.3.0 clean Capability-gated Ed25519 / ES256 signing + verification module for ikigai: `urn:sign:sign` (requires `urn:cap:sign`) turns bytes + a kernel-resolved PKCS8… 667 1d ago hashline cargo 0.2.1 4 vulnerabilities 4 Hash-anchored line editing for AI coding agents. Library + CLI providing O(1) line addressing via 2-char xxh32 hashes, surgical edits with drift detection, and… 629 3d ago padlock-output cargo 0.20.0 clean Terminal, JSON, SARIF, and diff output formatters for the padlock struct layout analyzer 626 22h ago ch32rv-flash cargo 0.19.0 clean Flash programming orchestration (erase/program/verify/confirm-run) for the ch32rv tool suite 612 2d 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 4d ago inillucent-remote cargo 2.5.4 clean Reads a running PostgreSQL or MySQL server over its own wire protocol and migrates it into an inillucent database, verified. 513 4h ago rahi-ledger cargo 0.6.0 clean The decision chain of the rahi chassis: hash-linked signed records, a unique-parent CAS append, and full verification at boot 513 2d ago vgi-forge cargo 0.18.2 clean Forge-neutral adapter trait and types for VGI git namespaces: resources, rights, capabilities, bootstrap plans, events and drift. 495 5d ago rahi-kernel cargo 0.6.0 clean The governance seam of the rahi chassis: a declared capability manifest, verified at build, enforced at runtime, with every denial ledgered 489 2d ago polyc-query cargo not built 2026.10.1 did not build The Query plane's read model: a DataFusion engine over signed projection artifacts, behind a verified credential. 438 4d ago 