# Autonomous Prover Running > 1hr

Project, Worldwide.


- Website: https://perqed.com/minutiae/
- Listed since: 2026
- launched: 2026-03-17
- launch post: https://news.ycombinator.com/item?id=47407247
- hn score: 2
- domain created: 2026-03-14
- Last verified: 2026-03-17


## Sources

- Hacker News, "Show HN" — https://news.ycombinator.com/item?id=47407247, read 2026-03-17

---
startup.is · https://startup.is/projects/autonomous-prover-running-1hr · open data: /api/v1, /llms.txt