Coding

AIBoris Cherny says he used Opus 5.5 with Lean to formally verify the Claude Agent SDK, with a couple of short prompts producing 16 PRs fixing bugs and race conditions. He also reports that TLA+ works well, sometimes combined with Lean to find data flow, concurrency, and state management issues. The post links to his actual prompts as another example.

AICline says users can now run security-related tasks in Cline that were previously impossible with GPT or Claude. The post gives install commands for the CLI via npm and a link to the desktop app.

AIAnthropic is expanding its Cyber Verification Program to give verified security professionals broader access to its most capable models. Through the program, they can use Claude Mythos 5.1, Opus 5.5, and Sonnet 5.5 with safeguards designed for defensive work. New tiers will also allow authorized offensive work such as penetration testing and red-teaming.

AIClaude Code v2.1.292 adds a --marketplace option to claude plugin install, which adds the marketplace if needed and then installs the plugin from it. The release also adds an effort parameter to the Agent tool and fixes several security issues, including permission prompts bypassed for network (UNC) file reads and a sandboxed read path that could return files outside approved access.

AIAnthropic's ClaudeDevs account says Pro or Max plan subscribers on September 23 can still claim a one-time bonus credit for cloud sessions by running /claim-credit in Claude Code by October 7 at 11:59pm PT. Cloud sessions draw on this credit first before counting toward plan limits, and the credit expires November 4.

AIAnthropic's ClaudeDevs says Claude Code cloud sessions run each task on a fresh VM, so users can start several at once. The sessions keep running after the user closes their laptop. A field guide covers seven suitable workflows and how to connect GitHub.

AIGitHub has released ReviewBench, a new open benchmark for evaluating AI code review agents, shaped by analysis of 103.9M GitHub pull requests. It contains 219 PRs across 19 languages, and developers can bring their own code review agent, evaluate it, and submit their results.

AILangChain's Sydney Runkle presents a four-step method for building a model router into a coding agent harness: understanding tasks, understanding models, building the router, and tracking task outcomes. The background post says the router cut costs by 64% without reducing quality by sending tasks that do not need a frontier model to cheaper models.

AIAi2 applied scientist Shashank Gupta says he will attend COLM 2026 from Tuesday through Friday and invites people to talk with the Ai2 Agents post-training team. Topics include post-training for coding and long-horizon agents, such as agentic RL, OPD, data and infrastructure, and multi-agent training, plus opportunities at Ai2. He lists an Ai2 booth session Tuesday 1:30–3pm and an Ai2 mixer Tuesday 6–9pm.

AILauren Tan describes using Grok Bot to connect apps like Slack, email, and CRM so it can gather context and decide what work to do. She also explains scheduled and event-triggered routines, plus handing engineering tasks to Cursor cloud agents, with a daily feedback-to-merge loop example.

AIThariq argues that working at a higher level of abstraction has always required understanding the levels beneath it. He says coding agents do not change this requirement.

AICodex now offers an "Approve for me" permission mode, which automatically reviews actions instead of requiring manual approval. To enable it, open the permissions menu below the composer and select "Approve for me."

AIAccording to Gergely Orosz, GitHub now records more AI-generated pull requests per month than human-written ones. He says the volume of AI-generated PRs is about three times what it was in December 2023.

AIGoogle Flow Music lets creators build custom instruments or effects from natural language, and Spaces can now be exported as VST3/AU plugins. These plugins run inside producers' Digital Audio Workstations, so tools can fit existing production workflows. The source gives producer Khris Riddick-Tynes's "No Chaser" plugin as an example for checking instrumentals and vocals.

AIAt a recent AI workshop, switching the desktop app from ChatGPT to Codex drew the loudest reaction of the day from subject-matter experts who use ChatGPT daily. Allie K. Miller argues that enterprise AI knowledge is overestimated, suggesting AI training for SMB and enterprise teams is a lucrative opportunity.

AIDex Horthy reports that /show-me has been incorporated into the official Amp Code plugins. A linked GitHub pull request in the ampcode/official-plugins repository is referenced as the relevant change.

AIMistral AI's Mistral Large 4 is listed on OpenRouter as a frontier multimodal model accepting text and image input. The listing says it is built for reasoning, coding, and agentic workloads and offers a 1M-token context window. The feed excerpt is truncated, so further details such as pricing or availability are not confirmed here.

AIThe Darwin Gödel Machine, a coding agent from Sakana and Jeff Clune's lab, modified its own codebase over roughly eighty iterations without supervision. Its additions included better file viewing, patch validation before submitting fixes, generating and ranking several candidate solutions, and keeping a history of failed attempts. These changes raised its score from 20 to 50 percent on SWE-bench and from 14 to 31 percent on Polyglot.

AIOpenCode says its free tier will keep offering Space Bunny for a few more days after the original free period ends. The post also notes that the model is being tuned before its reveal.

AIOpenAI has made Auto-review free for all users signed in through a ChatGPT account, and it does not draw usage from their plan. Auto-review uses a second agent to check the primary agent's actions, blocking high-risk moves and actions that drift from user intent, so long tasks can run without constant approval prompts. It can be enabled under settings > permissions > auto-review.

AITibo of OpenAI advises users to switch from full-access to auto-review mode. He says the change is no longer a trade-off and offers greater peace of mind.

AIReflection announced Beam, a text-only 501B-total, 23B-active MoE model for coding, agentic, and scientific work, trained from scratch with full weights under Apache 2.0 promised this month. Self-reported results include 80.9 on SWE-bench Verified and 3–4x the inference efficiency of GLM 5.2, while the roundup notes that GLM 5.3, Kimi K3, Qwen 3.8 Max, and DeepSeek V4.1 Flash are generally ahead.

AIHarrison Chase, founder of LangChain, endorsed a post on harnesses with the brief comment "Good take on harnesses." The post, from @zeeg, argues that general coding harnesses like Codex will be superseded by specialized ones and that local models will handle most daily tasks within five years.

AIMastra has released Agent Controller in general availability, a runtime that hosts long-running agent sessions around the agent loop. The team says it was first built for Mastra Code and expanded to support Mastra Factory, which runs many concurrent sessions, and that memory usage in long-running Mastra Code processes dropped from 2–20 GB to 300–750 MB after optimizing UI state snapshots.

Why it matters: The post explains how the controller evolved from one developer's session to many concurrent sessions, with measured memory and storage changes useful to engineers building multi-user agent apps.

AIComcast and Booz Allen used Claude Mythos Preview to find vulnerabilities that arise from interactions across code, configuration, and deployment rather than single-file bugs. Comcast identified a critical authentication flaw across 258 systems and about 170 million lines of code before any exploitation was observed. Booz Allen reported that one analyst reviewed eight production systems across 138 repositories in twelve days, a review its team estimated would have taken several months without the model.

Why it matters: The case studies show how security teams validate and remediate model-found exploit chains, a workflow relevant to anyone managing large codebases.

AIAnthropic's Claude Code v2.1.291 release fixes a regression in 2.1.290 where cloud sessions could drop answers to permission prompts. It also fixes a regression in 2.1.288 where a session's last messages could be lost when quitting.

AIThariq says planning with HTML is much more token efficient than generating raw HTML. The model does not need to recreate components or logic for common elements such as state machines, diagrams, and code snippets. Background from the quoted post says he is building a Claude Code skill that generates HTML plans, with linting to reduce common failures.