vta-service cargo not built 0.57.0 did not build Service for Verifiable Trust Agents operating in Verifiable Trust Communities 9.8K 1h ago pathfinder-class-hash cargo 0.24.2 clean Pathfinder's class hash computation and verification 9.2K 4d ago mise-sigstore cargo 2026.10.2 clean Sigstore verification helpers for mise 7.1K 4d ago pil2-stark-setup cargo not built 1.3.2-alpha did not build Setup and proving/verifying-key generation for the pil2-stark prover 7.0K 2d ago vta-vault cargo not built 0.16.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.9K 1h ago aprender-contracts-cli cargo 0.70.3 clean CLI for provable-contracts — validate, scaffold, verify, status, audit 6.3K 2d ago libcrux-ecdsa cargo 0.0.9 clean Formally verified ECDSA signature library 6.3K 4d ago vtc-client cargo not built 0.20.0 did not build Client SDK for Verifiable Trust Communities (VTC) — auth, members, join, removal, policies 6.2K 4h ago boatramp-types cargo 0.29.0 clean Shared, wasm-clean wire types + routing/config logic for boatramp (used by the server, CLI, and the edge Worker so the wire format and routing can't drift) 6.0K 2h ago pact-broker-cli cargo 0.9.0 clean A Rust and CLI client for the Pact Broker. Publish and retrieve pacts and verification results. 5.6K 1d ago fluxbench-logic cargo 0.2.0 clean Algebraic verification engine for FluxBench performance assertions 5.5K 2d ago fluxbench-macros cargo 0.2.0 clean Procedural macros for FluxBench: benchmark registration, verification rules, synthetic metrics, and report layout 5.3K 2d ago iota-sdk-crypto cargo 1.0.0-rc.1 clean Defines the interface for signing and verifying messages in the IOTA ecosystem 5.2K 2d ago fluxbench cargo 0.2.0 clean Benchmarking framework with process isolation, bootstrap statistics, algebraic verification, and CI integration 5.1K 2d ago fallow-license cargo 3.33.1 clean Offline Ed25519-signed license JWT verification for the fallow CLI (paid feature gating) 4.8K 1d ago vti-rooms-dtg cargo not built 0.14.0 did not build The DTG-credential chain verifier for data rooms 4.5K 4h ago libcrux-rsa cargo 0.0.9 clean Formally verified RSA signature library 4.5K 4d ago greentic-component-store cargo 1.2.0-dev.38037903543 clean Store abstraction and verification for Greentic components 4.5K 1d ago rucc-ir cargo 0.30.0 clean The SSA IR with block parameters, and its printer, parser and verifier. 4.4K 1d ago systemprompt-slack cargo 0.65.0 clean Slack integration for systemprompt.io. Verifies Slack Events API, slash-command, and Block Kit interaction requests, maps Slack users to governed systemprompt… 3.9K 2d ago vgi-core cargo 0.18.2 clean Shared primitives for Verifiable Git Infrastructure (VGI): PROTOCOL.sshsig encoding, git commit-object handling, and DID-document Ed25519 key extraction. 3.9K 5d ago libcrux-blake2 cargo 0.0.9 clean Formally verified blake2 hash library 3.8K 4d ago blvm-spec-lock cargo not built 0.1.42 did not build BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons 3.8K 1d ago hashtree-fips-transport cargo not built 0.4.28 did not build Verified Hashtree blob routes over authenticated TCP/FIPS streams 3.6K 2d ago car-inference-types cargo 0.57.2 clean Pure-serde conversation/message wire types for Common Agent Runtime inference — shared by car-inference and car-sync so the transcript-resume projection can… 3.2K 1d ago vtcode-eval cargo 0.175.6 clean Agent evaluation framework for VT Code: pass@k / pass^k metrics, capability and regression evals, and environment-based outcome verification. 3.1K 1h ago pnm-cli cargo not built 0.37.1 did not build CLI Tool for managing a personal Verifiable Trust Agent 2.5K 15m ago cnm-cli cargo not built 0.31.1 did not build CLI Tool for Verified Trust Agents operating in Verified Trust Communities 2.5K 15m ago polyc-passkey cargo 2026.10.2 clean Standalone WebAuthn/passkey verification: P-256 (ES256) assertion checking against a registered SEC1 public key, with no dependency on Polychrome's persona… 2.4K 3d ago subduction_crypto cargo 0.10.0 clean Cryptographic types for Subduction: signed payloads, verification witnesses 2.3K 3d ago 