assura-smt cargo 0.6.0 1 detection 1 SMT-based verification for Assura contracts via Z3 1.9K 2d ago assura-codegen cargo 0.6.0 clean Rust code generation from type-checked Assura contracts 1.9K 2d ago lenso-plugin-bundle cargo 0.6.2 clean Immutable Lenso Plugin Release manifests, bundle materialization, and verification. 1.8K 1d ago rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 1d ago assura-pipeline cargo 0.6.0 1 detection 1 Shared compiler pipeline for the Assura language 1.8K 2d ago greentic-mcp-exec-dev cargo 1.2.37708889650 9 vulnerabilities 9 Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing. 1.8K 2h ago assura-fmt cargo 0.6.0 clean Source code formatter for the Assura contract language 1.7K 2d ago prikk-crypto cargo 0.49.0 clean Ed25519 signing and verification primitives for Prikk. Internal to the prikk CLI; its API may change without notice before 1.0. 1.6K 21h ago assura-llm cargo 0.6.0 clean LLM provider abstraction and contract analysis for Assura 1.6K 2d ago assura-mcp cargo 0.6.0 1 detection 1 MCP (Model Context Protocol) server for Assura AI agent integration 1.6K 2d ago assura-lsp cargo 0.6.0 1 detection 1 LSP server for the Assura contract language 1.6K 2d ago prikk-store cargo 0.49.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 21h ago rattler_sigstore cargo 0.2.3 clean Discovery, retrieval and verification of Sigstore attestations for conda packages 1.4K 19h 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 rig-cassette cargo 0.44.0 clean Effect-log and provider HTTP recording, replay, scrubbing and verification for Rig. 1.1K 19h ago arcbox-asset cargo 0.9.0 clean Generic asset download, verification, and caching primitives 943 8h ago baukit-auth cargo 0.9.0 clean OIDC, Clerk, and WorkOS token verification, personal access tokens, and Axum principal extraction for Baukit services. 844 16h ago libpetri cargo 10.1.0 clean Coloured Time Petri Net engine with formal verification 816 1d ago fodid-client cargo 4.5.8-10 clean Client for the 51Did (51Degrees Identifier) two-step verification: fetches and caches the published signing keys, verifies a 51Did signature offline or through… 739 1d ago aprender-verify-ml cargo not built 0.70.2 did not build Synthetic Data Factory for Domain-Specific Code Intelligence 733 7h ago ppoppo-pas-external cargo 0.51.0 clean Ppoppo Accounts System (PAS) external SDK — OAuth2 PKCE, JWT verification port, Axum middleware, refresh-token cipher 730 17h ago minip2p-tls cargo 0.7.4 clean libp2p TLS certificate generation and peer verification 694 20h 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 verifpal cargo 1.6.4 clean Verifpal - cryptographic protocol analysis 491 21h ago rahi-ledger cargo 0.5.0 clean The decision chain of the rahi chassis: hash-linked signed records, a unique-parent CAS append, and full verification at boot 448 1d ago lenso-plugin-catalog cargo 0.1.3 clean Portable signed Lenso Plugin catalog protocol and verification. 306 1d ago varve-core cargo 0.40.0 clean Layer manifests, resolution, the core store, and verification wiring for varve 306 1d 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 6h ago iron-diff-cad cargo 0.9.0 clean Deterministic numeric diff of two uncad-model drawing states: the exact set of changes, by how much, with an explicit tolerance. 261 18h ago assura-runtime cargo 0.6.0 clean Runtime contract monitoring for Assura-generated Rust code 255 2d ago 