{"site":"startup.is","path":"/projects/autonomous-prover-running-1hr","title":"Autonomous Prover Running > 1hr","generated_at":"2026-10-14T02:22:27.401Z","data":{"site":"startup.is","org_key":"perqed.com","slug":"autonomous-prover-running-1hr","name":"Autonomous Prover Running > 1hr","kind":"project","country":"xx","place_key":"xx/com","website":"https://perqed.com/minutiae/","summary":null,"extra":{"launched":"2026-03-17","launch_post":"https://news.ycombinator.com/item?id=47407247","hn_score":2,"domain_created":"2026-03-14","classified":{"kind":"project","confidence":0.65,"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-03-17","located_by":null,"place_from":null},"status":"published","provenance":[{"field":"name","from":"hn_show","observed_at":"2026-03-17","url":"https://news.ycombinator.com/item?id=47407247"},{"field":"website","from":"hn_show","observed_at":"2026-03-17","url":"https://news.ycombinator.com/item?id=47407247"}],"first_seen":"2026-10-05T14:50:58.969Z","last_verified":"2026-03-17","web":{"domain":"perqed.com","site_status":null,"captured_at":null,"thumb_url":null,"shot_url":null,"desktop_thumb_url":null,"title":null,"description":null,"synced_at":"2026-10-05T14:56:14.822Z"}}}