Overplane
Startup in .dev
Overplane: Containers and formal verification for AI code
- Kind
- Startup
- Country
- Worldwide
- Place
- .dev
- Listed since
- 2026
- Website
- https://www.overplane.dev/
- launched
- 2026-07-13
- launch post
- https://news.ycombinator.com/item?id=48894426
- hn score
- 4
- domain created
- 2026-06-09
- Last verified
- 2026-07-13
Sources
- Hacker News, "Show HN" — news.ycombinator.com, read 2026-07-13
