reticle cargo 0.0.5 clean A from-scratch VHDL / Verilog compiler in pure Rust: frontends, a unified IR, simulation, synthesis and FPGA/ASIC backends, with first-class IP integration. 209 21h ago solti-discover cargo 0.0.8 clean Agent registration and heartbeat client for the Podium control plane. 208 1d ago frost-mcp cargo 0.1.23 clean Live MCP introspection + control surface for a running frost shell 205 1d ago sv-lang cargo 0.1.11+slang.12.0 clean Safe, ergonomic Rust bindings to slang, the fast SystemVerilog compiler frontend 205 2d ago tailscale-rest cargo 1.3.2 clean Typed client for the Tailscale control-plane REST API v2 205 18h ago bobr-core cargo 0.1.11 clean Core identity, keys, and request model for the bobr content-addressed build system. 201 1d ago laterite-media cargo 0.9.9 clean Laterite media: content-addressed blob storage with streaming ingest 201 1d ago martensite-webview cargo 0.21.0 clean Embedded-webview surface contract — state, commands, events, host trait, and a simulated engine for tests. 200 8h ago qiongli-platform cargo 2.5.0 clean Qiongli native artifact trust and declarative installation contracts 199 3h ago ag-orchestration cargo 0.17.0 clean Agentty is an ADE (Agentic Development Environment) for structured, controllable AI-assisted software development. 196 11h ago pmpx-plugin cargo 0.3.2 clean Defines the pmpx plugin contract and the C ABI that carries it across dlopen. 196 1d ago tracel-inference cargo 0.11.0 clean Inference contracts and adapters for Tracel SDK. 196 1d ago halley-cli cargo 0.8.0 clean Command-line interface for interacting with and controlling the Halley Wayland compositor 191 2d ago molgfx-scene cargo 0.5.3 clean Scene state: declarative specs, patches, transactions and the renderer front. 191 2d ago phronesis-metrics cargo 0.38.0 clean Prometheus metrics for phronesis — derives rule, hook, and context-cost metric families from the `.phronesis/log.jsonl` action log and exposes them over an… 191 1h ago satelle cargo 0.1.38 1 vulnerability 1 A self-hosted control plane for durable native Computer Use 191 2d ago assura cargo 0.6.0 1 detection 1 Contract-first AI-native language. Write what it should do. AI proves it does. 190 2d ago assura-macros cargo 0.6.0 clean Proc macros for inline Assura contract annotations in Rust 190 2d ago agent-framework-azure-ai-search cargo 0.10.0 clean Azure AI Search context provider 189 1d ago agent-framework-mcp cargo 0.10.0 clean Model Context Protocol (MCP) client: stdio and streamable HTTP transports 188 1d ago appcore-sync cargo 2.0.0-alpha.4 clean Conservative sync contracts and local replication helpers for AppCore Runtime. 188 2d ago laye cargo 0.2.0 clean A framework-agnostic role and permission based access control library 187 1d ago agent-framework-redis cargo 0.10.0 clean Redis-backed chat message store and context provider 186 1d ago kui-core cargo 0.1.0-alpha.44 clean kui contract: flat per-frame tree, clay-style flex layout, text stack, events as data, quad display list 185 3h ago cratefield-client-ts cargo 0.4.1 clean The deterministic TypeScript client generator: a /__surface contract in, the files of a typed @cratefield/client package out 183 2d ago sootmark-persistence cargo 0.4.1 clean Where Linux and Unix attackers keep access: crontabs, at jobs, systemd units, init scripts, SSH authorized keys and sshd_config, rc.local and shell start-up… 179 3d ago agent-framework-mem0 cargo 0.10.0 clean Mem0 context provider for long-term agent memory 178 1d ago appcore-storage cargo 1.0.5-rc clean Storage contracts and local file storage provider for AppCore Runtime. 178 2d ago outram-mc-libs cargo 0.0.5 4 vulnerabilities 4 Pure-Rust port of OpenMC Monte Carlo neutron transport kernels -- an independent OUTRAM PARK fork, not the official OpenMC software 178 1d ago aegis-api cargo 0.4.6 3 vulnerabilities 3 Independent Aegis fleet control plane HTTP service. 176 21h ago 