{"listing":{"listing_type":"product","name":"Theorem","slug":"theorem-theorem-2","tagline":"AI-assisted program verification that finds zero-days and verifies code correctness orders of magnitude faster than humans.","description":"Theorem trains AI models capable of formal program verification, making it orders of magnitude faster than human engineers. Developers use it as a feedback loop to find zero-days in GPU-accelerated code and cryptography implementations and to speed up legacy code migration. The lf-lean project verified all 1,276 Logical Foundations statements by translating Rocq to Lean 350x faster than humans.\n\nTheorem is a product of Theorem.","url":"https://theorem.dev/","is_stealth":false,"normalized_domain":"theorem.dev","normalized_url_key":"theorem.dev","parent_slug":"theorem-2","parent":{"slug":"theorem-2","name":"Theorem","listing_type":"company","profile_url":"/companies/theorem-2"},"type_data":{"product_kind":"saas","platforms":["web"],"use_cases":["program verification","zero-day detection","GPU code correctness","cryptography verification","legacy code migration"]},"logo":null,"links":[],"entry_points":[{"kind":"signup","url":"https://theorem.dev/","audience":"human","primary":false,"listed_by":"community","on_listing_domain":true}],"primary_entry_points":{"human":{"kind":"signup","url":"https://theorem.dev/","audience":"human","primary":false,"listed_by":"community","on_listing_domain":true},"agent":null},"founders":[],"media":null,"categories":["Developer Tools","AI","Security","Machine Learning","B2B","Engineering, Product and Design"],"stage":null,"founded_year":null,"location":null,"pricing":null,"twitter":null,"github":null,"linkedin":null,"contact_email":null,"added_at":"2026-09-05T05:15:15.299Z","added_via":"web","geo":{"keywords":["Theorem","Theorem","Developer Tools","AI","Security","Machine Learning","B2B","Engineering, Product and Design"],"canonical_facts":["Product of Theorem"]},"agents":null,"featured_until":null,"example":false,"ownership_status":"unclaimed","claimed_by_agent_id":null,"claimed_via_claim_id":null,"claimed_at":null,"updated_at":"2026-09-05T05:15:15.299Z","is_featured":false,"category_memberships":[{"kind":"product_category","slug":"ai","name":"AI","note":null,"profile_url":"/categories/ai"},{"kind":"product_category","slug":"b2b","name":"B2B","note":null,"profile_url":"/categories/b2b"},{"kind":"product_category","slug":"developer-tools","name":"Developer Tools","note":null,"profile_url":"/categories/developer-tools"},{"kind":"product_category","slug":"engineering-product-and-design","name":"Engineering, Product and Design","note":null,"profile_url":"/categories/engineering-product-and-design"},{"kind":"product_category","slug":"machine-learning","name":"Machine Learning","note":null,"profile_url":"/categories/machine-learning"},{"kind":"product_category","slug":"security","name":"Security","note":null,"profile_url":"/categories/security"}]}}