lean-ctx cargo not built 3.11.2 did not build Local context engine, CLI, MCP server, and proxy for AI agents. 18K 23h ago camel-bean-macros cargo 0.57.0 clean Proc-macros for camel-bean crate 4.4K 1d ago camel-bean cargo 0.57.0 clean Beans/Registry system for rust-camel 4.1K 2d ago cleansys cargo 0.8.1 3 vulnerabilities 3 CleanSys — modern terminal user interface for system cleanup on Linux, macOS, and Windows (Ratatui TUI + CLI) 2.4K 3h ago data-beans cargo 0.8.1 3 vulnerabilities 3 Sparse genomics data backends, QC, algorithms, and simulation 1.2K 4d ago lean-ctx-ocla cargo 3.0.0 clean Open Context & Token Lifecycle Architecture — the stable, provider-neutral contract boundary (14 traits, canonical types, token envelopes) shared between… 1.1K 1d ago lean-ctx-protocol cargo 0.3.0 clean Open wire contracts for lean-ctx: events, observations, assignments, evidence gaps. 1.0K 1d ago cleanlib-client cargo 0.4.9 clean HTTP client SDK for the CleanLibrary verdict API — VerdictEnvelopeV1 types, derive_status logic, transport, config, and risk-acceptance YAML emitter shared… 1.0K 5d ago fakecloud-elasticbeanstalk cargo 0.49.0 clean AWS Elastic Beanstalk (applications, versions, environments, configuration) implementation for FakeCloud 966 4d ago cleansys-core cargo 0.8.1 clean Shared core logic for CleanSys — cleaners, domain model, and utilities shared by the TUI and GUI 532 20h ago axiolid-brep-boolean cargo 0.1.9 clean General exact B-rep booleans over analytic faces (ADR 0075) 431 11h ago cleansys-gui cargo 0.8.1 5 vulnerabilities 5 CleanSys — desktop GUI for system cleanup on Linux, macOS, and Windows (Iced) 287 20h ago cargo-cleanme cargo 0.2.5 clean Safely clean inactive Cargo build artifacts through Cargo 146 1d ago leani-primitives cargo 0.1.0-rc.4 clean Shared chain, frame, cursor, and provenance types for Leani 54 3d ago leani-source-api cargo 0.1.0-rc.4 clean Contracts for Leani historical, live, and finality sources 40 3d ago leani-processor-api cargo 0.1.0-rc.4 clean Contracts for deterministic Leani processors and reducers 38 3d ago fk-geometry-euclidean cargo 0.1.0 clean Euclidean plane and space (E², E³) as Feuclide geometries 12 2d ago leanctx-native-storage cargo 0.1.0 clean Handle-bound native storage primitives shared by LeanCTX components 11 2d ago nblean cargo 0.2.0 clean Token-lean Jupyter notebook access for coding agents: outlines, clipped outputs, images as files, a persistent kernel. 9 1d ago formal-oxilean cargo 0.0.1 clean Placeholder that reserves the formal-oxilean name (part of cargo-formal). Proprietary software of COOLJAPAN OU; this release has no functionality. 8 5d ago cleansys-web cargo 0.7.8 3 vulnerabilities 3 3d ago gix-tempfile cargo 26.0.0 clean A tempfile implementation with a global registry to assure cleanup 58M 2d ago tauri-codegen cargo 2.7.2 clean code generation meant to be consumed inside of `tauri` through `tauri-build` or `tauri-macros` 35M 4h ago serde-bool cargo 0.1.6 clean Single value, true or false, boolean deserializers 10M 5d ago i_overlay cargo 9.0.1 clean Boolean Operations for 2D Polygons: Supports intersection, union, difference, xor, and self-intersections for all polygon varieties. 9M 2d ago sc-executor cargo 0.51.0 clean A crate that provides means of executing/dispatching calls into the runtime. 4M 3d ago temp-file cargo 0.2.0 clean Simple temporary file with cleanup 1M 2d ago vortex-bytebool cargo 0.88.0 clean Vortex byte-boolean array 332K 2d ago aerospike-rt cargo 3.0.0 clean Aerospike Client for Rust Runtime Crate. Not meant to be used independently. 188K 1d ago aerospike-macro cargo 3.0.0 clean Aerospike Client for Rust Macros Crate. Not meant to be used independently. 187K 1d ago 