Download
Docs menu+

Contributing

python scripts/gate.py runs what CI runs: fmt, clippy with -D warnings, tests, rustdoc, cargo deny, typos, ruff and a smoke test of the real server. The rules for people and coding agents alike are in borer.rules. Commit titles look like type: summary.