{"site":"startup.is","path":"/registry/overplane","title":"Overplane","generated_at":"2026-10-14T05:30:06.359Z","data":{"site":"startup.is","org_key":"overplane.dev","slug":"overplane","name":"Overplane","kind":"startup","country":"xx","place_key":"xx/dev","website":"https://www.overplane.dev/","summary":"Overplane: Containers and formal verification for AI code","extra":{"launched":"2026-07-13","launch_post":"https://news.ycombinator.com/item?id=48894426","hn_score":4,"domain_created":"2026-06-09","classified":{"kind":"startup","confidence":0.93,"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-07-13","located_by":null,"place_from":null},"status":"published","provenance":[{"field":"name","from":"hn_show","observed_at":"2026-07-13","url":"https://news.ycombinator.com/item?id=48894426"},{"field":"website","from":"hn_show","observed_at":"2026-07-13","url":"https://news.ycombinator.com/item?id=48894426"},{"field":"summary","from":"hn_show","observed_at":"2026-07-13","url":"https://news.ycombinator.com/item?id=48894426"}],"first_seen":"2026-10-05T14:51:00.030Z","last_verified":"2026-07-13","web":{"domain":"overplane.dev","site_status":null,"captured_at":"2026-07-13T06:25:21.412Z","thumb_url":"https://cdn.backup.im/file/screenshot-archive/o/overplane.dev_20260713_thumb.jpg","shot_url":"https://cdn.backup.im/file/screenshot-archive/o/overplane.dev_20260713.jpg","desktop_thumb_url":"https://cdn.backup.im/file/screenshot-archive/o/overplane.dev_20260713_desktop_thumb.jpg","title":"Overplane — AI Coding Overagent","description":"Overplane is an AI code generation and build system that verifies and safely compiles plain-language specs into working, verified code. Container-sandboxed agents, replayable builds, and multi-agent support.","synced_at":"2026-10-05T14:56:15.329Z"}}}