reuF2F
Benchmarking coding agents on formalized undergraduate research problems
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Visit website ↗ Source listing ↗
GITHUB · launched Oct 18, 2026 · 22 upvotes (top 55%)
- Horizontal
- Observability & eval
- Developer
- AI-native
- Hobby / open-source project
- benchmark
- coding-agent
- formal-verification
Similar launches
See all 3368 similar launches →Could you build this?
No A credible benchmark needs expert-formalized undergraduate research problems with verified solutions, and that curation is domain research work vibe coding can't provide.
What it would actually take: The harness itself (sandboxed agent runs, grading scripts, leaderboards) is buildable, but the value is the dataset. That requires mathematicians or domain experts to write precise problem statements, reference solutions, and checkers, then validate them. The work is more research than engineering.
Competitors
Other products that read as similar to this one : 3368 launches clear the similarity bar, closest 8 shown.
Attention rank: #1695 of 3369 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 354 days after the earliest competitor.
- AxiomCode Graph, Reducing coding agent rework with formal methods · hn · 2026-10-14 · 10 upvotes · similarity 0.72
- Zot · hn · 2026-05-29 · 107 upvotes · similarity 0.70
- machine · github · 2026-10-22 · 30 upvotes · similarity 0.69
- RLE-Bench · github · 2026-09-14 · 51 upvotes · similarity 0.69
- coding-agent · github · 2026-09-19 · 76 upvotes · similarity 0.68
- Y · hn · 2026-06-24 · 37 upvotes · similarity 0.68
- Loom, an open-source delivery harness for coding agents · hn · 2026-06-10 · 5 upvotes · similarity 0.68
- Codingagents.md · hn · 2026-02-11 · 5 upvotes · similarity 0.68
Other launches for this product
- No other launches for this product.
More details
- External ID
- 1424812836
- Company
- n/a
- Product
- reuF2F
- Website domain
- github.com
- Cohort
- n/a
- Upvotes percentile
- 0.45
- All tags
- benchmark, coding-agent, formal-verification
- AI summary
- benchmark for coding agents on formal undergraduate research problems
- Manually corrected
- No