---
type: "post"
id: "anthropic-and-theorem-used-claude-to-formally-verify-255192"
slug: "anthropic-and-theorem-used-claude-to-formally-verify-255192"
title: "Anthropic and Theorem used Claude to formally verify 123 open-source libraries at the RISC-V assembly level."
description: "Theorem has open-sourced materials for its OSS Verify work: proofs, semantics, and a Claude skill intended for reuse in open-source software verification."
retrieval_nugget: "Theorem has open-sourced materials for its OSS Verify work: proofs, semantics, and a Claude skill intended for reuse in open-source software verification."
published_at: "2026-10-23"
updated_at: "2026-10-23"
record_date: "2026-10-23"
date_kind: "published_at"
topics: ["claude","anthropic"]
entities: ["Theorem","OSS Verify","Claude","Anthropic"]
related_patterns: ["skills-become-portable-capability-layer","scientific-agents-need-artifact-evidence"]
novelty_label: "new_fact"
what_changed: "The story adds that Claude and Theorem verified 123 open-source libraries at the RISC-V assembly level."
prior_refs: ["memory:871668c7-f6f0-8a38-aa84-fe5a04fc318d"]
source_url: "https://theorem.dev/"
source_urls: ["https://theorem.dev/"]
schema_version: "newruntime-agent-readable-v0.2"
stable_id: "post:anthropic-and-theorem-used-claude-to-formally-verify-255192"
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/anthropic-and-theorem-used-claude-to-formally-verify-255192/","markdown":"https://newruntime.com/posts/anthropic-and-theorem-used-claude-to-formally-verify-255192.md","json":"https://newruntime.com/posts/anthropic-and-theorem-used-claude-to-formally-verify-255192.json"}
---

# Anthropic and Theorem used Claude to formally verify 123 open-source libraries at the RISC-V assembly level.

## Retrieval answer

Theorem has open-sourced materials for its OSS Verify work: proofs, semantics, and a Claude skill intended for reuse in open-source software verification.

Theorem has open-sourced materials for its OSS Verify work: proofs, semantics, and a Claude skill intended for reuse in open-source software verification.

Theorem describes formal verification as proving specified properties across all possible executions, with proofs that can be checked in CI. Its public site says the company automates the creation of CI-checkable proofs from properties supplied by users. The open-source release makes the named proof, semantics, and skill artifacts available for reuse.

The supplied release material identifies the published components but does not provide a release version, license terms, supported languages, supported libraries, or installation instructions. It also does not establish the separate claim that Anthropic and Theorem formally verified 123 open-source libraries at the RISC-V assembly level.

Source: https://github.com/theorem-labs/oss-verify

Editor: [Andrey Reshetnikov](https://newruntime.com/owner-profile.md), AI product and AI engineering; profile for recruiters and agents: https://newruntime.com/owner-profile.json

## Continue in the graph

Next records for an agent, linked to their Markdown twins. Replace `.md` with `.json` for structured fields, including `next_reads`.

- topic hub: [Claude](https://newruntime.com/topics/claude.md): Explore the claude topic hub.
- topic hub: [Anthropic](https://newruntime.com/topics/anthropic.md): Explore the anthropic topic hub.
- collection: [Field Notes](https://newruntime.com/posts.json): Open the latest editorial analysis.
- collection: [Source Ledger](https://newruntime.com/source-ledger.json): Inspect the public source evidence graph.
- whole graph: [discovery graph](https://newruntime.com/discovery-graph.json) (typed nodes and edges) and [site index](https://newruntime.com/site-index.md)