Lightweight coding agent that runs in your terminal
Updated 2026-06-15 18:01:11 -07:00
Plugin for Claude Code to create a semi-inverted AI development workflow that relies on deterministic workflow enforcement and uses AI only where we generate outputs or make judgement calls that require stochastic behavior.
Updated 2026-06-15 17:48:46 -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
Learn about LLM agents and how to build agentic systems by building your own coding harness!
Updated 2026-05-28 15:44:07 -07:00
Updated 2026-05-19 14:16:02 -07:00