| kunobi-daemon cargo | 0.10.1 | none | none | Process ownership, request draining, and verified upgrades for local daemons | 21K | 1d ago |
| cyberbrain-embed cargo | 0.7.9 | none | none | In-process static embeddings with a hash-verified model artefact, for Cyberbrain | 301 | 2d ago |
| fhir-oracle-store cargo | 0.6.1 | none | none | Oracle Database storage layer for fhir-oracle (Store level: live-verified against gvenzl/oracle-free, 7/7 tests — see audit.md F-68; R4.5 is an open gap).… | 94 | 2d ago |
| fhir-mssql-store cargo | 0.6.2 | none | none | SQL Server storage layer for fhir-mssql (Store level: live-verified against azure-sql-edge, 33/33 tests - audit.md F-65; TLS advisories fixed by switching to… | 111 | 2d ago |
| inillucent-remote cargo | 2.8.1 | none | none | Reads a running PostgreSQL or MySQL server over its own wire protocol and migrates it into an inillucent database, verified. | 513 | 2d ago |
| saferskills cargo | 0.2.1 | none | high | Every AI capability, independently scanned — install Skills & MCP servers with a verified SaferSkills trust score. | 68 | 2d ago |
| verified-deflate cargo | 0.1.0 | none | none | gzip, zlib, raw DEFLATE and BGZF compression with LZ77 parsers proved correct in Lean | 9 | 2d ago |
| sw_identity_tls cargo | 0.9.2 | none | none | Identity-bound TLS for Sidewinder access: a self-signed certificate whose ephemeral leaf key is signed by an Algorand Ed25519 identity, verified peer-side… | 271 | 2d ago |
| mylittleindicators cargo | 0.2.2 | none | none | Multi-stream financial indicators library — 556 bar indicators + 21 event primitives across 35 categories. Consumes 27 stream kinds from digdigdig3 exchange… | 194 | 2d ago |
| rscinrad cargo | 0.1.0 | none | none | Bit-exact Rust port of PyCINRAD (CINRAD radar calculate/correct, oracle-verified to the last ULP) | 10 | 2d ago |
| adam_core_rs_kernel_data cargo | | – 0.6.1 did not build | – | Kernel/data-file resolution for adam-core Rust consumers: overrides, installed Python, cache, and verified wheel fetch | 1.7K | 2d ago |
| keygrant cargo | 0.7.0 | none | none | KeyGrant licensing for Tauri and native Rust desktop apps: signed leases verified offline, failing in favour of the paying customer. | 39 | 2d ago |
| baukit-integrations cargo | 0.10.29 | none | none | Provider-neutral connector contract for cursor-paged imports, verified webhooks, and connection health. | 813 | 2d ago |
| omoplata-algebra cargo | 0.1.0 | none | none | omoplata's verified merge core: patch algebra, commutation checking, and three-way merge with conflicts as values | 15 | 2d ago |
| fhir-mssql-map cargo | 0.6.2 | none | none | Relational map and shred/reconstruct engine for fhir-mssql (T-SQL DDL, live-verified against SQL Server - audit.md F-65). HL7®, and FHIR® are the registered… | 177 | 2d ago |
| fhir-oracle-map cargo | 0.6.1 | none | none | Relational map and shred/reconstruct engine for fhir-oracle (Oracle DDL, live-verified on Oracle 26ai Free - audit.md F-08). HL7®, and FHIR® are the registered… | 165 | 2d ago |
| rigspark-cli cargo | 3.0.3 | none | high | Which local LLMs can your computer run? Hardware-aware CLI with yes/slow/no verdicts and tok/s estimates, then verified installs via Ollama, llama.cpp, MLX or… | 55 | 2d ago |
| rahi-kernel cargo | 0.7.1 | none | none | The governance seam of the rahi chassis: a declared capability manifest, verified at build, enforced at runtime, with every denial ledgered | 647 | 3d ago |
| car-fleet cargo | 0.58.0 | none | none | Composite inventory of the CAR agents, capabilities and models reachable across a fleet of instances, and the wire contract for farming verified coding… | 136 | 3d ago |
| tez-lang cargo | 0.0.1 | none | none | Tez: a fast, verified programming language for LLMs and the browser (pre-alpha) | 12 | 3d ago |
| dpp-vocab cargo | 0.22.0 | none | none | Upstream vocabulary register for Digital Product Passports — who publishes a term, under what licence, and whether a human verified it | 1.4K | 3d ago |
| molframe-adapters cargo | 0.6.4 | none | none | Neutral topology transfer and verified byte acquisition | 172 | 3d ago |
| pure-jeff cargo | 0.2.0 | none | none | Pure-Rust (Candle) CPU inference for the Jeff-Qwen3.5-0.8B candidate decision model, with hash-verified model bundles | 36 | 3d ago |
| polyc-payments-client cargo | 2026.10.5 | none | none | Standalone outbound 402-gated payment client for Tempo (Machine Payments Protocol): pays a server's payment challenge, enforces a per-call spend cap and… | 1.6K | 3d ago |
| codetopo-store cargo | 0.5.0 | none | none | SQLite store for codetopo: graph persistence, hash-chained audit log, and HMAC proof certificates with verified restore | 85 | 3d ago |
| neco-root cargo | 0.1.1 | none | none | verified root brackets, refinement evidence, and local membership analysis | 114 | 4d ago |
| tauri-plugin-vsk-store cargo | | – 0.2.0 did not build | – | Client for the VasakOS system store (vasak-accounts-sync): verified owner, sync status and change notices for Tauri applications | 80 | 4d ago |
| margaret_subject_token_exchange cargo | 0.5.0 | none | none | Exchanges verified tokens of trusted issuers for local subjects under RFC 8693, for the Margaret OpenID Connect provider. | 15 | 4d ago |
| openkind-datasets cargo | 0.4.0 | none | none | Pinned, verified local evaluation-dataset installations for OpenKind benchmarking | 24 | 4d ago |
| openkind-model-store cargo | 0.4.0 | none | none | Curated, verified local model installations for OpenKind | 38 | 4d ago |
