Docs.rs

In-memory loops, test doubles, writable fixtures, and demo capabilities for testing Everruns agents

Token-efficient code intelligence MCP server — indexes a codebase with tree-sitter and lets AI agents fetch exactly the symbols they need

Language Server Protocol implementation for Event-B

Reserved for Iris RGB - an open-source RGB lighting platform. Development at https://github.com/proj-iris-rgb/iris-rgb

Command-line interface for the Rossi Event-B toolchain

Box API client for Rust (open source, community, punk rock) — typed models, async managers, and a reqwest runtime with retry, backoff, and token refresh.

ISO 10303-21 (STEP file) parser and serde-based entity tables

Project memory for coding agents. Single binary, hybrid search, knowledge graph.

proc-macro support for step-p21

Core Event-B parser, AST, pretty-printer, and Rodin XML/ZIP conversion library for Rossi

Static checker / builder for Event-B models in Rossi. Reads .buc/.bum and emits Rodin-compatible .bcc/.bcm.

Reusable mempal runtime workflows built on agent memory storage.

MCP server adapter for mempal runtime tools.

Cross-language serialization conformance worker library for Rust

A song analysis library for making playlists