| nexus-raw cargo | 0.21.0 | none | none | Verified, resumable directory uploads and downloads for Sonatype Nexus raw repositories | 122 | 13m ago |
| lgwks_deps cargo | 4.0.0 | none | none | Dependency admission, supply-chain policy, and debugger-doctor CLI for a Rust workspace: every external edge and default trace install is verified. | 435 | 35m ago |
| smix-contract cargo | 16.3.1 | none | none | smix-contract — the statement of what an app owes, given an id so coverage can be reconciled. Reads contract files and per-platform claims and answers which… | 215 | 7h ago |
| vgi-forge-github cargo | 0.24.0 | none | none | GitHub adapter for VGI git namespaces: per-community GitHub App auth, repo creation and bootstrap, role projection, device-flow account linking and verified… | 404 | 7h ago |
| vgi-forge-forgejo cargo | 0.24.0 | none | none | Forgejo (and Gitea) adapter for VGI git namespaces: a scoped bot user with token rotation, OAuth2+PKCE binding and account linking, capability probing, repo… | 414 | 7h ago |
| trust-tasks-didcomm cargo | | – 0.32.2 did not build | – | DIDComm v2.1 transport binding for the Trust Tasks framework, built on affinidi-messaging-didcomm. Provides pack/unpack helpers and a TransportHandler that… | 27K | 7h ago |
| rightkit-ffmpeg cargo | 0.2.9 | none | none | Verified FFmpeg artifact and lifecycle primitives for Right Suite media pipelines. | 45 | 9h ago |
| bitwright cargo | 0.21.0 | none | none | Hash-consed fixed-width bit-vector expressions: exact evaluation, bit-level facts, and verified simplification. | 494 | 9h ago |
| kimage-control cargo | 0.6.1 | none | low | Kubernetes-native image production, verified delivery, and lifecycle management | 117 | 11h ago |
| balq cargo | 0.5.0 | none | high | BAL query: local archive of contract storage history, verified against block headers. | 137 | 12h ago |
| steamship cargo | 0.9.33 | none 0.9.34 did not build | none | Uploads game builds to Steam with Valve's steamcmd, from your machine or CI: steamcmd pinned and verified, scripts checked before anything is sent, a clear… | 176 | 16h ago |
| vest cargo | 0.2.2 | none | none | Vest: A DSL for specifying and generating fast, formally verified parsers and serializers | 666 | 18h ago |
| vest_lib cargo | 0.2.2 | none | none | Verified parser and serializer combinators in Verus | 12K | 18h ago |
| fakecloud-verifiedpermissions cargo | 0.51.0 | none | none | AWS Verified Permissions (verifiedpermissions) control-plane and Cedar authorization implementation for FakeCloud | 907 | 19h ago |
| victauri-core cargo | 0.10.0 | none | none | Core types and protocol for Victauri — Verified Introspection & Control for Tauri | 37K | 20h ago |
| cudabom-fetch cargo | 0.1.0 | none | none | Verified HTTP download primitive with retry, exponential backoff, jitter, and rate-limit (429/Retry-After) awareness. The single network layer shared by db… | 14 | 20h ago |
| acdp-client cargo | 0.15.1 | none | none | Consumer client (RegistryClient, VerifiedContext, CrossRegistryResolver) for the Agent Context Distribution Protocol (ACDP) | 16K | 21h ago |
| memopro cargo | 0.1.7 | none | none | Budgeted memory runtime: keep, losslessly compress, re-read from verified source files or recompute large buffers so work runs within a guaranteed memory… | 10 | 22h ago |
| cnm-cli cargo | | – 0.38.0 did not build | – | CLI Tool for Verified Trust Agents operating in Verified Trust Communities | 2.5K | 22h ago |
| hashtree-fips-transport cargo | | – 0.4.29 did not build | – | Verified Hashtree blob routes over authenticated TCP/FIPS streams | 3.7K | 22h ago |
| alef-component-runtime cargo | 0.111.0 | none | none | Verified downloader and dynamic loader for Alef native components | 118 | 1d ago |
| rightkit-ocr cargo | 0.2.3 | none | none | Product-neutral OCR: Apple Vision / Windows.Media.Ocr native backends with per-line geometry, isolated worker, and verified two-stage ONNX fallback | 20 | 1d ago |
| main-spex cargo | 0.26.0 | none | low | AI-first development framework that turns specifications into verified code | 58 | 1d ago |
| rightkit-models cargo | 0.4.4 | none | none | Shared local-model manifest and installer for Right Suite apps: revisions and quantizations, resumable verified downloads, archive extraction, atomic… | 125 | 1d ago |
| low cargo | 0.1.5 | none | none | A low-entropy, code-mode coding agent: one sandboxed Python tool, verified diffs, git as the undo | 58 | 1d ago |
| openreadout-arrow cargo | 0.4.0 | none | none | Parquet and Arrow IPC export of OpenReadout tables, traces and spectra, verified by read-back | 40 | 1d ago |
| vstd cargo | 0.0.0-2026-10-18-0147 | none | none | Verus Standard Library: Useful specifications and lemmas for verifying Rust code | 438K | 1d ago |
| verus_state_machines_macros cargo | 0.0.0-2026-10-18-0147 | none | none | Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines | 437K | 1d ago |
| verus_builtin_macros cargo | 0.0.0-2026-10-18-0147 | none | none | Verus Builtin Macros: Various macros used by Verus | 455K | 1d ago |
| deputy-acquire cargo | 0.4.3 | none | none | Recursive dependency discovery and verified download into the dirty store. | 247 | 1d ago |
