CodeRabbit
AI overview
Sign in and the AI will write an overview from our coverage.
Headlines · 5
- AI-assisted formal verification draws startups and investment
AI systems have sharply reduced the reported time and cost of formal software verification, while startups including &Truth, Harmonic, Theorem and Axiom Math are expanding the field. &Truth launched publicly with $70 million in funding, and Anthropic and Theorem announced an AI-assisted project that found and patched hundreds of defects in 123 open-source libraries. Stanford researcher Chuyue Sun reported that her AI system completed the remaining specifications and proofs for an encryption library in 11.4 hours at a cost of about $467 after receiving the top-level specification. The reports differ on the human effort involved: WIRED described five months of work by three experts, while MIT Technology Review cited eight months by five major contributors. Axiom Math separately said AI agents produced 43.1 million lines of Lean-checkable formalized code for a mathematical proof in 24 days; that vendor claim was not independently validated. Formal verification remains experimental, and its guarantees depend on the correctness of specifications. Pricing, adoption and its ability to address user errors or hardware failures remain uncertain.
WIRED AI · 🔥 8 - CodeRabbit Uses GPT-6.1 Sol for Cross-Repository Security Review
OpenAI says CodeRabbit is using GPT-6.1 Sol as the primary model in its security agent to investigate risks across files, dependencies, and linked repositories. The system complements established scanners and, according to OpenAI, supports Deep Scan, sandboxed exploit verification, and proposed fixes in pull requests for human review. These capabilities and deployment results are vendor-reported and have not been independently verified.
OpenAI · 🔥 0 - The Pragmatic Engineer surveys AI spend and PR output across 27 workplaces
The Pragmatic Engineer interviewed engineering leaders and senior engineers at 27 workplaces about how much they spend on AI tools per engineer and how PR throughput changed before and after that spending. CodeRabbit told the publication that weekly PRs per developer rose about 113% year over year on its platform, while Gitar reported that teams it categorizes as "AI-native" ship 60 or more PRs per developer per week; both figures are vendor-supplied and not independently verified. The article reports that spending caps are common, that there is no connection between company size and AI spend, that some companies spend $1,000 or more per developer per month, and that few companies can answer what the return on that spending is. It also says Meta and NVIDIA encourage developers to use AI heavily while Apple engineers are far more cautious.
The Pragmatic Engineer · 🔥 0 - Anthropic's Claude Code Code Review exits preview for Team and Enterprise
Anthropic said Code Review, its automated pull-request reviewer for Claude Code, is out of research preview and generally available to Claude Team and Enterprise organizations. Anthropic says most reviews now finish in roughly 6–10 minutes versus about 20 during preview, and admins can set each repository to Quick, Standard or Deep, with reviews running automatically on new pull requests after a GitHub App is installed. Eligible enterprises can claim at least $10,000 in credits by January 15, 2027; The Next Web reports the amount ranges up to $50,000 based on active seats, that organizations using GitHub Enterprise Cloud with data residency on .ghe.com are excluded, and that firms with zero data retention cannot use the product. Anthropic's performance figures have not been independently tested, and its documentation says a clean review does not guarantee sound code.
Claude Blog · 🔥 0 - Cursor's Origin opens app marketplace with 20+ developer tool integrations
Origin now integrates more than 20 apps spanning deployments, CI, code review, security, monitoring and project management, with partners including Cloudflare, Vercel, Netlify, CircleCI, CodeRabbit, Greptile, Semgrep, Socket Security, Sentry and Linear, according to the Cursor changelog. The marketplace is also open to public submissions starting today, so any team building developer tools can publish an app for Origin. The submission flow asks developers to create an app in their namespace, build against the Origin API — authenticating with an app JWT and installation access tokens, receiving webhook events and writing back check runs, pull request comments and reviews — then make it public and submit a slug, suggested tags and a demo video for review before listing.
Cursor Changelog · 🔥 0
Experience and discussion from the community
Share my CodeRabbit experienceAsk about CodeRabbit
Nobody has shared their experience with CodeRabbit yet.