rusty_rtos_demo-core cargo 0.3.2 clean The pure no_std core of rusty_rtos_demo: types, traits and algorithms with no CPU, no allocator and no operating system. forbid(unsafe). 96 3d ago craftbag-mcp cargo 0.2.3 clean MCP stdio server for craftbag list, load, why, and validate 95 2d ago stellar-agent-mcp cargo not built 0.1.0-alpha.10 did not build MCP stdio server for the Stellar agent wallet. Tools are registered at link time via the #[mcp_tool_router]/#[mcp_tool_item] macro pair… 93 2d ago oxdock-ssh-plugin cargo 0.22.0-alpha clean Ephemeral user-space SSH server and client for OxDock scripts, bridged to stdio pipelines through the Engine facade. 87 6h ago BREP_mcp_core cargo not built 0.6.0 did not build The BREP MCP server core: the Model Context Protocol surface generated from the CAD app's own registries, its sessions, script runner and transports (stdio and… 86 1d ago faction cargo 0.4.0 clean A no_std + alloc, protocol-independent cluster readiness state machine for startup coordination and readiness quorum tracking. 86 5h ago dispatch-core cargo 0.4.0 clean A no_std command dispatcher with typed resource injection 84 6h ago mf2-catalog cargo 3.0.0 clean The .mf2b binary catalog: a no_std client reader and (features) the writer, the model-rebuilding decoder and the manifest file. 83 5h ago owl-dl-verify cargo 0.4.36 clean Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of… 80 2d ago farhand-fileset cargo 1.10.3 clean File scanning, ignore rules, hashing, and tar/gzip/zstd packing for Farhand 78 1d ago mf2-runtime cargo 3.0.0 clean The MessageFormat 2 evaluator of Rust MF2: formats from a .mf2b catalog (no_std, fmt-free, panic-free): resolution, selection, fallback, bidi, parts, markup,… 72 5h ago bckw cargo 0.3.1 clean A no_std zero-dependency stack machine for Curry's B, C, K, W combinators with support for external effects. 61 14h ago mf2-syntax cargo 3.0.0 clean MessageFormat 2 syntax: a lossless-CST parser with recovery, lowering to the data model, validation, serializer and analysis (no_std). 61 5h ago wickra-compile cargo 0.2.0 clean CLI for wickra-compile: turn a strategy spec into a standalone deployable (WASM, binary, or no_std). 60 2d ago degenbot-runs cargo 0.6.0-alpha.14 clean Per-session run-artifact directories (stdout log + trace JSONL) for degenbot engines 54 16h ago merman-doc cargo 0.8.0 clean Shared Markdown and HTML integration for Merman rustdoc diagrams. 46 2d ago BREP_mcp cargo not built 0.3.1 did not build The BREP MCP automation server: hosts the BREP CAD app headlessly under egui_kittest and serves the BREP_mcp_core Model Context Protocol surface over stdio or… 44 1d ago rightkit-jobs cargo 0.2.2 clean Persistent job store, runner, and stdio/CLI command contract for Right Suite engines. 44 6m ago mf2-resource cargo 3.0.0 clean The W3C Message Resource container for MessageFormat 2: parser, serializer and data model, generic over the message type (no_std). 41 5h ago auto-ascii-format cargo 0.4.0 clean ASCI v1 chunked container for auto-ascii: deterministic writer, mmap-friendly reader, zstd + temporal delta, O(1) seek 40 7h ago mf2-fn-datetime cargo 3.0.0 clean The MessageFormat 2 date/time functions of Rust MF2 — :datetime, :date, :time and unannotated date/time values: operand and option semantics, time zones, and… 40 5h ago chunked-deque cargo 0.1.6 clean Similar c++ std::deque, like VecDeque<Box<[T; N]>> 35 1d ago dotrepo-mcp cargo not built 1.0.3 did not build Stdio MCP server for trust-aware dotrepo operations. 30 2d ago rightkit-mcp cargo 0.3.1 clean Shared MCP client (stdio + streamable HTTP, trust gate, pool, OAuth hook) and server host (stdio + loopback HTTP, per-tool admission) for Right Suite apps. 28 28m ago wm-gen3-harness cargo 10.2.0-alpha.6 3 vulnerabilities 3 WhiteMagic Gen3 — stdio JSON-RPC adapter (plumbing only; experiment harness) 25 1d ago drew-physics cargo 0.2.0 clean Moteur de simulation physique 2D agnostique, no_std, sans allocation et optimisé f32 23 2d ago rust-fs-erofs cargo 0.4.0 clean Pure-Rust EROFS (Enhanced Read-Only File System) reader and writer. Clean-room implementation; reads mkfs.erofs 1.9 images (LZ4/LZMA/DEFLATE/ZSTD,… 22 2d ago rust-fs-squashfs cargo 0.4.0 clean Pure-Rust SquashFS (read-only) filesystem driver. Clean-room implementation; reads SquashFS 4.0 images with every standard compressor (gzip, xz, lz4, zstd,… 21 2d ago tabnas-lsp cargo 0.1.6 clean The tabnas language server in Rust: diagnostics, outline, semantic tokens, hover and completion for every tabnas grammar, as a library for Rust hosts and a… 19 1d ago mxc-sdk cargo 1.0.0 clean Importable library for starting MXC sandboxes in-process, with streaming stdio. 17 2d ago 