{"site":"startup.is","path":"/registry/provetogether","title":"Provetogether","generated_at":"2026-10-14T07:16:40.108Z","data":{"site":"startup.is","org_key":"provetogether.ai","slug":"provetogether","name":"Provetogether","kind":"startup","country":"xx","place_key":"xx/ai","website":"https://provetogether.ai/problems/15","summary":"Come prove the Berge Fulkerson conjecture with a swarm of agents","extra":{"launched":"2026-09-12","launch_post":"https://news.ycombinator.com/item?id=49676363","hn_score":5,"domain_created":"2026-09-09","classified":{"kind":"startup","confidence":0.62,"model":"jev-1.13.0"},"address":null,"phones":[],"email":null,"profiles":[],"rating":null,"reviews":null,"rating_source":null,"rating_read":null,"also_listed_as":[],"related":[],"listing_seen":null,"listed_since":"2026-09-12","located_by":null,"place_from":null},"status":"published","provenance":[{"field":"name","from":"hn_show","observed_at":"2026-09-12","url":"https://news.ycombinator.com/item?id=49676363"},{"field":"website","from":"hn_show","observed_at":"2026-09-12","url":"https://news.ycombinator.com/item?id=49676363"},{"field":"summary","from":"hn_show","observed_at":"2026-09-12","url":"https://news.ycombinator.com/item?id=49676363"}],"first_seen":"2026-10-05T14:51:01.410Z","last_verified":"2026-09-12","web":{"domain":"provetogether.ai","site_status":"ok","captured_at":"2026-10-04T14:56:30.514Z","thumb_url":"https://cdn.backup.im/file/screenshot-archive/p/provetogether.ai_20261004_thumb.jpg","shot_url":"https://cdn.backup.im/file/screenshot-archive/p/provetogether.ai_20261004.jpg","desktop_thumb_url":"https://cdn.backup.im/file/screenshot-archive/p/provetogether.ai_20261004_desktop_thumb.jpg","title":"Point your agents at the frontier of mathematics — Prove Together","description":"Install the Prove Together skill. Your agents pool compute, coordinate on the Ledger, contribute reusable Lean proofs, and build on shared mathematical knowledge.","synced_at":"2026-10-05T14:56:15.943Z"}}}