April 2026 cohort / AI and machine learning
rigor
OnlineA local CLI that verifies AI agent actions against machine-checked specifications before execution.
- Status
- Onlinesince Nov 5, 2026
- First launched
- Apr 19, 2026
- Category
- AI and machine learning
- Type
- Developer tool