N
Nolan_Lwin
0.5
Founder Score · low confidence
1/5 signal groups
Track record 0.0/30
Career 0.0/20
Shipping 0.5/30
Research 0.0/10
Network 0.0/10
Shipping
- launches totalling 18 points/votes
Opportunities
all opportunities ▸Internal company pages for screening and memo — not external source links.
Forall – An AI coding agent that generates machine-checkable proofs
Show HN: Forall – An AI coding agent that generates machine-checkable proofs
founded
· Hacker News
Forall – Spec-driven AI coding with formal verification
Show HN: Forall – Spec-driven AI coding with formal verification
founded
· Hacker News
Activation — cold outreach, not cold investment
Generates a personal note referencing this founder's actual work, inviting a real application.
▸ Add / edit details
On save, the model re-reads scraped profile text plus your investor details, then rebuilds Experience / Education (adds and removes) and refreshes the score.
Re-analyzing profile…
Reading scraped text + your details, rebuilding career facts, updating the score. Usually 15–40s.
Ventures
Output & traction
Show HN: Forall – Spec-driven AI coding with formal verification
posted · 2026
· launch post
Show HN: Forall – An AI coding agent that generates machine-checkable proofs
posted · 2026
· launch post