A deterministic ASD-STE100 linter with one Engine, one CLI, and adapters for pi and Claude Code that gate writes, edits, commits, and replies.

A pi TUI extension that lets agents ask structured 1-4 question decisions with multi-select and free-text Other support.

A terminal UI framework for Elixir with a high-performance Zig NIF backend — Elm-inspired architecture, a declarative View DSL, and 15+ widgets.