Head of Claude Code at Anthropic
Boris Cherny
Boris Cherny is the creator and head of Claude Code at Anthropic. His work focuses on AI coding tools, developer workflows, and software engineering.
About Boris Cherny
Boris Cherny is the creator of Claude Code and leads the product at Anthropic. Claude Code is an AI coding tool used in software development, including work on existing codebases and modernization projects.
He presents technical sessions about Claude Code's development and its use in engineering workflows. His personal writing also covers JavaScript, TypeScript, frontend engineering, and the practical work of building software.
Mentioned in our coverage
76 articles name Boris Cherny, excluding author credits.
Page 2 of 7
- Claude Code Mods: Official TypeScript Plugin Guide →
On October 1, 2026 Addy Osmani published Anthropic's official getting-started guide for Claude Code mods on claude.dev. This is the GA how-to: version 2.1.287+, JavaScript or TypeScript modules inside plugins, observe/rewrite/answer hooks, the $ API, Token Weather, Blast Radius, Replay Theater, and how you share a mod with /plugin.
- claude.dev Is Anthropic's Developer Hub — Not a New Model →
On October 1, 2026 ClaudeDevs said claude.dev is the new home for people building with Claude. The site already held months of team writing. This is a map of what belongs there versus docs.claude.com, plus the terminal easter eggs that are not Claude Code commands.
- Programming Languages in the AI Era: What to Expose to Agents →
José Valim's September 24, 2026 essay asks what programming languages should optimize for once coding agents are users. The practical answer is three surfaces: explicit types, a queryable program database, and runtime state an agent can inspect.
- Aikido Releases Altar 1, an Open-Weight Security Model Built on GLM 5.3 →
Most AI security tooling ships as a closed API you send code to and trust. Aikido's Altar 1 takes the opposite approach — an open-weight model, fine-tuned from GLM 5.3, that security teams can inspect, run locally, and audit directly rather than trusting a black-box vendor endpoint with sensitive, unpatched vulnerability data.
- Boris Cherny Used Opus 5.5 to Formally Verify the Claude Agent SDK →
A couple of short prompts turned into 16 pull requests fixing race conditions and state-management bugs Boris Cherny says a human likely wouldn't have spotted. He used Claude Opus 5.5 to formally model the Claude Agent SDK in Lean 4 and TLA+ — 1,529 theorems, zero unproven "sorry" gaps, 19 of 24 bugs found directly by the proofs. Here's what formal verification by an agent actually looks like in practice.