Skip to content
Open source tools for software engineering teams using AI
Home
About
Grounding
Building Blocks
Punts
Demos
Test Bed
Readings
Blog
⌘K
GitHub
Home
About
Grounding
Building Blocks
Punts
Demos
Test Bed
Readings
Blog
GitHub
Demos
Real terminal sessions showing our tools at work.
Ethos
PR/FAQ
Z Spec
End-to-end feature development with Ethos missions
PR/FAQ Generation
PR/FAQ Hive Meeting
Tuning
Partition Testing from Z Spec
Spec → Audit → Tests
Finding a notification bug with Z Spec
Adding /z prove, /z contracts, /z oracle, and /z refine
B-Method Feature Development
View project →
Site
Bibliography
Open source tools for software engineering teams using AI