Slipstream

Lightweight coding agent that runs in your terminal
Updated 2026-06-15 18:01:11 -07:00
Aggregateless, Multi-Stream Event-Sourcing for Rust
Updated 2026-06-15 10:51:06 -07:00
Event Model Compiler - CLI and MCP for building and validating event models. Uses Lean4 proofs and Quint models to ensure your event model is both complete and correct. Traces provenance of all data used in your model.
Updated 2026-06-15 10:49:52 -07:00
Automatic code reviews for Forgejo that work with local models and/or BYOK cloud models.
Updated 2026-06-13 10:52:03 -07:00