July 18, 2026
Report summary
8 stories cleared the bar, led by Google connects third-party apps to Search AI Mode, Leaves — a text-UI disk usage treemap visualizer, and The Human-in-the-Loop is Tired.
Worth attention
Google announced that users will be able to securely link external services and interact with them directly inside Search AI Mode. The post is announcement-level only, with no developer surface, partner list, or integration documentation yet. If Search becomes an agent surface that calls into connected apps, it is a distribution channel worth tracking early rather than discovering late.
Rust TUI that renders a WinDirStat-style treemap of disk usage inside a terminal, filling the gap where GUI analyzers cannot reach and ncdu shows only one directory at a time. Multi-threaded and reported to handle millions of files, with per-directory file-type summaries so you see both where space went and what kind. Practical for diagnosing disk pressure on a remote VPS or inside a container.
Pydantic essay on the cognitive cost of supervising AI-generated work, opening with a maintainer waking to thirty overnight agent PRs each demanding a snap judgment call. It frames this as a human reward function problem: automation removed the satisfying part of the job and grew the review burden without adding new rewards. The practical implication for anyone running agent fleets is that review throughput, not generation capacity, is the binding constraint, which argues for investing in automated verification and batching rather than more parallel agents.
Adds execution-boundary interception points and a generic interception-hook dispatcher via @on, plus per-call token usage reporting on kickoff and agent results. The notable behavioural change is that tool-result caching is now opt-in rather than on by default, so upgrades will silently start re-executing tools that were previously cached. Also fixes after_llm_call hooks breaking native tool execution.
Adds a new ToolErrorMiddleware for handling tool failures, and narrows ToolRetryMiddleware so it only retries genuinely retryable exceptions. The retry fix removes a real footgun where a deterministic failure would consume the whole retry budget and its token spend.
Founder reports the first month after launching paid plans. Week one produced a single organic payment and revealed a broken funnel; week two started ads. Google Ads delivered the lowest cost-per-result of the channels tried but took roughly a week to exit the learning phase while burning cash, and Meta produced conversations at the highest CPR. Useful calibration that the first week of paid spend is tuition rather than performance.
Ahead-of-time Lua compiler that emits C++20 and hands off to GCC, Clang or MSVC rather than using LLVM directly. The latest release replaces NaN-tagged values with a shadow-types representation, adds full int64 support and ARM64 macOS coroutine support. Author reports beating the Lua interpreter broadly and LuaJIT on some compute-heavy workloads.
Two-file amalgamation C library covering normalization, case conversion, segmentation, bidirectional text, collation and confusables, tested across Linux, macOS, three BSDs and Windows 11. A WASM demo of the full public API is available on the project site.
Full digest
Patch release that fixes the homepage field in package.json so npm and editor tooltip links stop 404ing. No functional change to the SDK.
Refreshes dependency ranges and lockfiles across the Composio workspace. No behavioural change.
Lockfile refresh plus the shared homepage-link fix, with dependency bumps pulled through from sibling packages. Version number implies a minor but the contents are patch-level.
Normalizes duplicate JSON Schema required entries before provider tool schemas are emitted, alongside the homepage link fix. Minor correctness patch for tool schema generation.
### Patch Changes - 7125576: Normalize duplicate JSON Schema `required` entries before provider tool schemas are emitted. - 58bc93b: Refresh…
Lockfile refresh and homepage link correction for the Mastra adapter. No functional change.
Homepage link fix only for the LlamaIndex adapter package.
### Patch Changes - 58bc93b: Refresh dependency ranges and lockfiles across the workspace. - fa933a6: Fix the `homepage` links in these pack…
### Patch Changes - 58bc93b: Refresh dependency ranges and lockfiles across the workspace. - fa933a6: Fix the `homepage` links in these pack…
### Patch Changes - 7125576: Normalize duplicate JSON Schema `required` entries before provider tool schemas are emitted. - fa933a6: Fix the…
Adds execution-boundary interception points and a generic interception-hook dispatcher via @on, plus per-call token usage reporting on kickoff and agent results. The notable behavioural change is that tool-result caching is now opt-in rather than on by default, so upgrades will silently start re-executing tools that were previously cached. Also fixes after_llm_call hooks breaking native tool execution.
Alpha prerelease containing a subset of what shipped in the final 1.15.3. Superseded within hours.
First alpha of the 1.15.3 line, contents rolled into the stable release the same day.
Point release pairing browser-use with Browser Harness 0.1.6. The release notes describe no user-facing change beyond the version bump.
R
0.13.5
## What's Changed * Update README.md by @ShawnPana in https://github.com/browser-use/browser-use/pull/5197 * feat: accept bu-qa-1 model alia…
Adds a new ToolErrorMiddleware for handling tool failures, and narrows ToolRetryMiddleware so it only retries genuinely retryable exceptions. The retry fix removes a real footgun where a deterministic failure would consume the whole retry budget and its token spend.
Google announced that users will be able to securely link external services and interact with them directly inside Search AI Mode. The post is announcement-level only, with no developer surface, partner list, or integration documentation yet. If Search becomes an agent surface that calls into connected apps, it is a distribution channel worth tracking early rather than discovering late.
Consumer-facing update adding Gemini Omni and personal avatars to Google Vids for easier video creation. No developer surface or builder-relevant change.
P
Clx
compile Lua to native executables through C++20 — https://github.com/samyeyo/clx — Ahead-of-time Lua compiler that emits C++20 and hands off to GCC, Clang or MSVC rather than using LLVM directly. The latest release replaces NaN-tagged values with a shadow-types representation, adds full int64 support and ARM64 macOS coroutine support. Author reports beating the Lua interpreter broadly and LuaJIT on some compute-heavy workloads.
M
Mojibake
a low-level Unicode library in C — https://mojibake.zaerl.com/ — Two-file amalgamation C library covering normalization, case conversion, segmentation, bidirectional text, collation and confusables, tested across Linux, macOS, three BSDs and Windows 11. A WASM demo of the full public API is available on the project site.
P
Leaves
a text-UI disk usage treemap visualizer — https://github.com/patonw/leaves — Rust TUI that renders a WinDirStat-style treemap of disk usage inside a terminal, filling the gap where GUI analyzers cannot reach and ncdu shows only one directory at a time. Multi-threaded and reported to handle millions of files, with per-directory file-type summaries so you see both where space went and what kind. Practical for diagnosing disk pressure on a remote VPS or inside a container.
Founder built a CV tailoring and grading tool to solve their own job-hunting problem, shared it with friends, and it now sits at €2k MRR. No detail on channels, pricing, conversion or timeline.
Newsletter-promoted image post with no body text captured. Nothing evaluable in the item content.
Founder asks how others acquired first users after cold outreach, marketplace listings and expert outreach all failed. An open question thread with no answers captured at fetch time.
Meme image post about solo founder life. No substantive content.
Team weighing turnkey branded payroll against building on a payroll API, asking whether integration or the post-launch support, compliance and multi-state burden consumes more time. Unanswered at fetch time.
Founder reports the first month after launching paid plans. Week one produced a single organic payment and revealed a broken funnel; week two started ads. Google Ads delivered the lowest cost-per-result of the channels tried but took roughly a week to exit the learning phase while burning cash, and Meta produced conversations at the highest CPR. Useful calibration that the first week of paid spend is tuition rather than performance.
Hi, I've been staring at my own SaaS for so long that I can't see it clearly anymore. Is the same happening to you too? I am looking for oth…
Sat there staring at the notification for a solid minute. Three and a half months ago I was refreshing Stripe hoping for a single $24 sale.…
Let’s be real: If a dev isn’t daily-driving AI today, they’re falling behind. Yet, our hiring loops still act like it’s 2015. We block inter…
> Simple clean, searchable web UI for your database tables. www.dataspeeder.com   submitted by   /u/dataspeeder2 [link]   [comme…
Our product already handles crews, timesheets and job sites. Customers keep asking why payroll still means exporting everything into a diffe…
Not sure if this is the right sub, mods feel free to remove. I built a small app called Lamponi and I want some honest feedback before I pus…
Hello everyone, for context: I am currently developing a webapp with VSCode + ClaudeCode. I've seen people posting their SaaS' KPIs and stat…
I run a SaaS and I belong to 4-5 different Slack communities. Every day I'd open Slack and engage with the community, search for my competit…
consider pinterest or instagram where the signup modals just keep popping up if you aren't signed in I know this is bad for UX, but my quest…
Planetary science paper in Science on atmospheric helium escape from a rocky exoplanet in a habitable zone. No relevance to software or business decisions.
arXiv survey or textbook on the mathematical foundations of data science. Reference material rather than news, with no near-term decision impact.
Yale news item on the discovery of a new monkey species in the Congo Basin. No software or business relevance.
Pydantic essay on the cognitive cost of supervising AI-generated work, opening with a maintainer waking to thirty overnight agent PRs each demanding a snap judgment call. It frames this as a human reward function problem: automation removed the satisfying part of the job and grew the review burden without adding new rewards. The practical implication for anyone running agent fleets is that review throughput, not generation capacity, is the binding constraint, which argues for investing in automated verification and batching rather than more parallel agents.
Original markdown
# Nightly Librarian — Newsletter draft Run: c235ab01-9950-4d83-8cf5-bc280b624812 Started: 2026-07-18T06:10:15.419Z Completed: 2026-07-18T06:14:44.737Z ## Worth attention - **Google connects third-party apps to Search AI Mode** https://blog.google/products-and-platforms/products/search/connected-apps/ Google announced that users will be able to securely link external services and interact with them directly inside Search AI Mode. The post is announcement-level only, with no developer surface, partner list, or integration documentation yet. If Search becomes an agent surface that calls into connected apps, it is a distribution channel worth tracking early rather than discovering late. - **Leaves — a text-UI disk usage treemap visualizer** https://github.com/patonw/leaves Rust TUI that renders a WinDirStat-style treemap of disk usage inside a terminal, filling the gap where GUI analyzers cannot reach and ncdu shows only one directory at a time. Multi-threaded and reported to handle millions of files, with per-directory file-type summaries so you see both where space went and what kind. Practical for diagnosing disk pressure on a remote VPS or inside a container. - **The Human-in-the-Loop is Tired** https://pydantic.dev/articles/the-human-in-the-loop-is-tired Pydantic essay on the cognitive cost of supervising AI-generated work, opening with a maintainer waking to thirty overnight agent PRs each demanding a snap judgment call. It frames this as a human reward function problem: automation removed the satisfying part of the job and grew the review burden without adding new rewards. The practical implication for anyone running agent fleets is that review throughput, not generation capacity, is the binding constraint, which argues for investing in automated verification and batching rather than more parallel agents. - **crewAI 1.15.3** https://github.com/crewAIInc/crewAI/releases/tag/1.15.3 Adds execution-boundary interception points and a generic interception-hook dispatcher via @on, plus per-call token usage reporting on kickoff and agent results. The notable behavioural change is that tool-result caching is now opt-in rather than on by default, so upgrades will silently start re-executing tools that were previously cached. Also fixes after_llm_call hooks breaking native tool execution. - **langchain 1.3.14 adds ToolErrorMiddleware** https://github.com/langchain-ai/langchain/releases/tag/langchain%3D%3D1.3.14 Adds a new ToolErrorMiddleware for handling tool failures, and narrows ToolRetryMiddleware so it only retries genuinely retryable exceptions. The retry fix removes a real footgun where a deterministic failure would consume the whole retry budget and its token spend. - **One month post-launch: paid acquisition numbers** https://www.reddit.com/r/SaaS/comments/1uysl5t/1_month_since_we_launched_this_what_i_learned/ Founder reports the first month after launching paid plans. Week one produced a single organic payment and revealed a broken funnel; week two started ads. Google Ads delivered the lowest cost-per-result of the channels tried but took roughly a week to exit the learning phase while burning cash, and Meta produced conversations at the highest CPR. Useful calibration that the first week of paid spend is tuition rather than performance. - **Clx — compile Lua to native executables through C++20** https://github.com/samyeyo/clx Ahead-of-time Lua compiler that emits C++20 and hands off to GCC, Clang or MSVC rather than using LLVM directly. The latest release replaces NaN-tagged values with a shadow-types representation, adds full int64 support and ARM64 macOS coroutine support. Author reports beating the Lua interpreter broadly and LuaJIT on some compute-heavy workloads. - **Mojibake — a low-level Unicode library in C** https://mojibake.zaerl.com/ Two-file amalgamation C library covering normalization, case conversion, segmentation, bidirectional text, collation and confusables, tested across Linux, macOS, three BSDs and Windows 11. A WASM demo of the full public API is available on the project site. ## Full digest - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/vercel%400.11.1 — Patch release that fixes the homepage field in package.json so npm and editor tooltip links stop 404ing. No functional change to the SDK. - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/ts-builders%400.2.1 — Refreshes dependency ranges and lockfiles across the Composio workspace. No behavioural change. - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/slim%400.14.0 — Lockfile refresh plus the shared homepage-link fix, with dependency bumps pulled through from sibling packages. Version number implies a minor but the contents are patch-level. - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/openai%400.10.1 — Normalizes duplicate JSON Schema required entries before provider tool schemas are emitted, alongside the homepage link fix. Minor correctness patch for tool schema generation. - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/openai-agents%400.10.1 — ### Patch Changes - 7125576: Normalize duplicate JSON Schema `required` entries before provider tool schemas are emitted. - 58bc93b: Refresh… - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/mastra%400.10.2 — Lockfile refresh and homepage link correction for the Mastra adapter. No functional change. - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/llamaindex%400.10.1 — Homepage link fix only for the LlamaIndex adapter package. - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/langchain%400.10.1 — ### Patch Changes - 58bc93b: Refresh dependency ranges and lockfiles across the workspace. - fa933a6: Fix the `homepage` links in these pack… - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/json-schema-to-zod%400.2.1 — ### Patch Changes - 58bc93b: Refresh dependency ranges and lockfiles across the workspace. - fa933a6: Fix the `homepage` links in these pack… - [R] [gh-composio] @composio/[email protected] — https://github.com/ComposioHQ/composio/releases/tag/%40composio/google%400.10.1 — ### Patch Changes - 7125576: Normalize duplicate JSON Schema `required` entries before provider tool schemas are emitted. - fa933a6: Fix the… - [P] [gh-crewai] crewAI 1.15.3 — https://github.com/crewAIInc/crewAI/releases/tag/1.15.3 — Adds execution-boundary interception points and a generic interception-hook dispatcher via @on, plus per-call token usage reporting on kickoff and agent results. The notable behavioural change is that tool-result caching is now opt-in rather than on by default, so upgrades will silently start re-executing tools that were previously cached. Also fixes after_llm_call hooks breaking native tool execution. - [R] [gh-crewai] crewAI 1.15.3a2 — https://github.com/crewAIInc/crewAI/releases/tag/1.15.3a2 — Alpha prerelease containing a subset of what shipped in the final 1.15.3. Superseded within hours. - [R] [gh-crewai] crewAI 1.15.3a1 — https://github.com/crewAIInc/crewAI/releases/tag/1.15.3a1 — First alpha of the 1.15.3 line, contents rolled into the stable release the same day. - [R] [gh-browser-use] browser-use 0.13.6 — https://github.com/browser-use/browser-use/releases/tag/0.13.6 — Point release pairing browser-use with Browser Harness 0.1.6. The release notes describe no user-facing change beyond the version bump. - [R] [gh-browser-use] 0.13.5 — https://github.com/browser-use/browser-use/releases/tag/0.13.5 — ## What's Changed * Update README.md by @ShawnPana in https://github.com/browser-use/browser-use/pull/5197 * feat: accept bu-qa-1 model alia… - [P] [gh-langchain] langchain 1.3.14 adds ToolErrorMiddleware — https://github.com/langchain-ai/langchain/releases/tag/langchain%3D%3D1.3.14 — Adds a new ToolErrorMiddleware for handling tool failures, and narrows ToolRetryMiddleware so it only retries genuinely retryable exceptions. The retry fix removes a real footgun where a deterministic failure would consume the whole retry budget and its token spend. - [P] [google-ai-blog] Google connects third-party apps to Search AI Mode — https://blog.google/products-and-platforms/products/search/connected-apps/ — Google announced that users will be able to securely link external services and interact with them directly inside Search AI Mode. The post is announcement-level only, with no developer surface, partner list, or integration documentation yet. If Search becomes an agent surface that calls into connected apps, it is a distribution channel worth tracking early rather than discovering late. - [R] [google-ai-blog] Gemini Omni and personal avatars in Google Vids — https://blog.google/products-and-platforms/products/workspace/gemini-omni-personal-avatars/ — Consumer-facing update adding Gemini Omni and personal avatars to Google Vids for easier video creation. No developer surface or builder-relevant change. - [P] [hn-show] Clx — compile Lua to native executables through C++20 — https://github.com/samyeyo/clx — Ahead-of-time Lua compiler that emits C++20 and hands off to GCC, Clang or MSVC rather than using LLVM directly. The latest release replaces NaN-tagged values with a shadow-types representation, adds full int64 support and ARM64 macOS coroutine support. Author reports beating the Lua interpreter broadly and LuaJIT on some compute-heavy workloads. - [M] [hn-show] Mojibake — a low-level Unicode library in C — https://mojibake.zaerl.com/ — Two-file amalgamation C library covering normalization, case conversion, segmentation, bidirectional text, collation and confusables, tested across Linux, macOS, three BSDs and Windows 11. A WASM demo of the full public API is available on the project site. - [P] [hn-show] Leaves — a text-UI disk usage treemap visualizer — https://github.com/patonw/leaves — Rust TUI that renders a WinDirStat-style treemap of disk usage inside a terminal, filling the gap where GUI analyzers cannot reach and ncdu shows only one directory at a time. Multi-threaded and reported to handle millions of files, with per-directory file-type summaries so you see both where space went and what kind. Practical for diagnosing disk pressure on a remote VPS or inside a container. - [R] [reddit-saas] Solo builder reaches €2k MRR with a CV tailoring tool — https://www.reddit.com/r/SaaS/comments/1uykvc7/just_hit_my_first_2k_mrr_and_im_honestly_a_bit/ — Founder built a CV tailoring and grading tool to solve their own job-hunting problem, shared it with friends, and it now sits at €2k MRR. No detail on channels, pricing, conversion or timeline. - [R] [reddit-saas] The Evolution of Software Investing — https://www.reddit.com/r/SaaS/comments/1uyjn81/the_evolution_of_software_investing/ — Newsletter-promoted image post with no body text captured. Nothing evaluable in the item content. - [R] [reddit-saas] How did you get your first users? What actually worked? — https://www.reddit.com/r/SaaS/comments/1uyq0ys/how_did_you_get_your_first_users_what_actually/ — Founder asks how others acquired first users after cold outreach, marketplace listings and expert outreach all failed. An open question thread with no answers captured at fetch time. - [R] [reddit-saas] pov: you're a solo founder — https://www.reddit.com/r/SaaS/comments/1uy3s1z/pov_youre_a_solo_founder/ — Meme image post about solo founder life. No substantive content. - [R] [reddit-saas] Anyone added white-label payroll to an existing SaaS product? — https://www.reddit.com/r/SaaS/comments/1uyh8gw/anyone_added_whitelabel_payroll_to_an_existing/ — Team weighing turnkey branded payroll against building on a payroll API, asking whether integration or the post-launch support, compliance and multi-state burden consumes more time. Unanswered at fetch time. - [P] [reddit-saas] One month post-launch: paid acquisition numbers — https://www.reddit.com/r/SaaS/comments/1uysl5t/1_month_since_we_launched_this_what_i_learned/ — Founder reports the first month after launching paid plans. Week one produced a single organic payment and revealed a broken funnel; week two started ads. Google Ads delivered the lowest cost-per-result of the channels tried but took roughly a week to exit the learning phase while burning cash, and Meta produced conversations at the highest CPR. Useful calibration that the first week of paid spend is tuition rather than performance. - [R] [reddit-saas] I'll give your SaaS an honest critique if you do the same for mine — https://www.reddit.com/r/SaaS/comments/1uyslw6/ill_give_your_saas_an_honest_critique_if_you_do/ — Hi, I've been staring at my own SaaS for so long that I can't see it clearly anymore. Is the same happening to you too? I am looking for oth… - [R] [reddit-saas] The Grind is paying off!!! — https://www.reddit.com/r/SaaS/comments/1uybyae/the_grind_is_paying_off/ — Sat there staring at the notification for a solid minute. Three and a half months ago I was refreshing Stripe hoping for a single $24 sale.… - [R] [reddit-saas] We let devs use Cursor & Claude at work, but ban them in interviews. Make it make sense. — https://www.reddit.com/r/SaaS/comments/1uyp5qo/we_let_devs_use_cursor_claude_at_work_but_ban/ — Let’s be real: If a dev isn’t daily-driving AI today, they’re falling behind. Yet, our hiring loops still act like it’s 2015. We block inter… - [R] [reddit-saas] Feels great seeing my ad on the front page of Reddit today. Small wins. — https://www.reddit.com/r/SaaS/comments/1uyms0g/feels_great_seeing_my_ad_on_the_front_page_of/ — > Simple clean, searchable web UI for your database tables. www.dataspeeder.com   submitted by   /u/dataspeeder2 [link]   [comme… - [R] [reddit-saas] Anyone building payroll into construction workforce software? — https://www.reddit.com/r/SaaS/comments/1uyi81j/anyone_building_payroll_into_construction/ — Our product already handles crews, timesheets and job sites. Customers keep asking why payroll still means exporting everything into a diffe… - [R] [reddit-saas] Looking for feedback on my free meeting app (built it because Granola kept frustrating me) — https://www.reddit.com/r/SaaS/comments/1uyrrzy/looking_for_feedback_on_my_free_meeting_app_built/ — Not sure if this is the right sub, mods feel free to remove. I built a small app called Lamponi and I want some honest feedback before I pus… - [R] [reddit-saas] Looking for Saas admin dashboard to review data — https://www.reddit.com/r/SaaS/comments/1uyrr7h/looking_for_saas_admin_dashboard_to_review_data/ — Hello everyone, for context: I am currently developing a webapp with VSCode + ClaudeCode. I've seen people posting their SaaS' KPIs and stat… - [R] [reddit-saas] I built this because finding customers across Slack communities was taking 30 minutes every day — https://www.reddit.com/r/SaaS/comments/1uyrepn/i_built_this_because_finding_customers_across/ — I run a SaaS and I belong to 4-5 different Slack communities. Every day I'd open Slack and engage with the community, search for my competit… - [R] [reddit-saas] Are repeated signup pop-ups worth the UX cost? — https://www.reddit.com/r/SaaS/comments/1uyrdfb/are_repeated_signup_popups_worth_the_ux_cost/ — consider pinterest or instagram where the signup modals just keep popping up if you aren't signed in I know this is bad for UX, but my quest… - [R] [hn-top] Helium escaping from atmosphere of nearby rocky exoplanet — https://www.science.org/doi/10.1126/science.aea9708 — Planetary science paper in Science on atmospheric helium escape from a rocky exoplanet in a habitable zone. No relevance to software or business decisions. - [R] [hn-top] Mathematics of Data Science — https://arxiv.org/abs/2607.11938 — arXiv survey or textbook on the mathematical foundations of data science. Reference material rather than news, with no near-term decision impact. - [R] [hn-top] 'Likweli': a new monkey species discovered in the Congo Basin — https://news.yale.edu/2026/07/15/meet-likweli-new-monkey-species-discovered-congo-basin — Yale news item on the discovery of a new monkey species in the Congo Basin. No software or business relevance. - [P] [hn-top] The Human-in-the-Loop is Tired — https://pydantic.dev/articles/the-human-in-the-loop-is-tired — Pydantic essay on the cognitive cost of supervising AI-generated work, opening with a maintainer waking to thirty overnight agent PRs each demanding a snap judgment call. It frames this as a human reward function problem: automation removed the satisfying part of the job and grew the review burden without adding new rewards. The practical implication for anyone running agent fleets is that review throughput, not generation capacity, is the binding constraint, which argues for investing in automated verification and batching rather than more parallel agents.