{"type":"post","id":"the-team-released-a-proof-archive-the-machine-58d819","slug":"the-team-released-a-proof-archive-the-machine-58d819","title":"The team released a proof archive , the machine semantics , and a Claude skill for adding projects to the pipeline.","description":"Theorem Labs has published the OSS Verify proofs repository, labelled 2026.10.0.","retrieval_nugget":"Theorem Labs has published the OSS Verify proofs repository, labelled 2026.10.0.","published_at":"2026-10-23","updated_at":"2026-10-23","record_date":"2026-10-23","date_kind":"published_at","topics":["claude"],"entities":["Theorem Labs","OSS Verify","OSS-Fuzz","Rocq","AddressSanitizer","UndefinedBehaviorSanitizer"],"related_patterns":["scientific-agents-need-artifact-evidence"],"novelty_label":"new_fact","what_changed":"Theorem Labs has released an OSS Verify proof archive, machine semantics, and a Claude skill for onboarding projects—concrete artifacts related to the prior report on large-scale formal verification with Claude.","prior_refs":["memory:871668c7-f6f0-8a38-aa84-fe5a04fc318d"],"source_url":"https://github.com/theorem-labs/oss-verify-proofs","source_urls":["https://github.com/theorem-labs/oss-verify-proofs"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:the-team-released-a-proof-archive-the-machine-58d819","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/the-team-released-a-proof-archive-the-machine-58d819/","markdown":"https://newruntime.com/posts/the-team-released-a-proof-archive-the-machine-58d819.md","json":"https://newruntime.com/posts/the-team-released-a-proof-archive-the-machine-58d819.json"},"next_reads":[{"type":"topic","path":"/topics/claude/","url":"https://newruntime.com/topics/claude/","title":"Claude","reason":"Explore the claude topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/claude.md","json_url":"https://newruntime.com/topics/claude.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}