Full archive

Tools AI News

Search reporting on AI markets, models, products, companies, policy, and culture.

Showing 1-6 of 6Results matching "Lean"

Yesterday

1 story

19 hours ago

claude-api-guard Scans AI SDK Changes in CI, but Misses Raw HTTP Calls

The GitHub Action can block known, high-severity SDK compatibility problems before a merge and fix some mechanical changes. Its coverage remains tied to recognizable official SDK patterns and a limited set of languages. claude -api-guard is built to catch known Anthropic and OpenAI API changes before they become production failures.

2 min readRead story

Earlier this week

2 stories

Launch Tools

Sep 1, 2026

OpenClaw 2026.8.2 Adds Linux Desktop Access and Safer Agent Session Recovery

The new release moves agent work closer to the desktop and active browser page, while adding recovery checks intended to prevent an update or migration failure from becoming a false success. OpenClaw users can now keep an agent conversation beside an active page, launch work without leaving it, and use a Linux desktop companion tied to a local or remote Gateway.

3 min readRead story

Launch Tools

Aug 31, 2026

Google Updates Antigravity Teamwork, Putting Long-Running Agent Critique in Paid Preview

The update packages critique, verification and synthesis into reusable agent-team patterns. Google’s results suggest the orchestration can produce useful work, while the preview’s lower-parallelism setup and model mix limit direct comparisons with its research runs. Google has updated Teamwork, its Antigravity framework for AI-agent teams that can work through complex tasks for hours or days.

3 min readRead story

August 2026

3 stories

Benchmark Tools

Aug 23, 2026

InferenceX Adds 11 Telemetry Views to AgentX, Exposing What Benchmark Curves Hide

The new exploration layer makes cache setup, bursty subagents and queue behavior inspectable, but its best-curve design means readers must still examine each point’s underlying configuration before treating a curve as a like-for-like comparison. A throughput curve can make two inference systems look nearly identical. The distinction reflects the workload AgentX is designed to measure.

3 min readRead story

Viral Tools

Aug 23, 2026

Watermarks Remover Tops 14,000 Stars; Claude’s Detector Isn’t Public

The project’s direct file-cleaning functions differ sharply from its experimental attempts to weaken embedded text and image marks. Guillaume Meyer’s Watermarks Remover has become a fast-growing open-source challenge to AI provenance controls. It can strip several inspectable file and text markers, while optional rewriting and image regeneration target harder-to-measure embedded signals.

2 min readRead story

Launch Tools

Aug 19, 2026

Palomar Opens a Lean Registry That Checks Proofs and Their Descriptions

The launch creates a fixed, inspectable record for formal proofs, but its automated checks leave questions of novelty, mathematical significance and expert review outside the registry. Palomar has opened a public registry for Lean proof repositories, giving each registered submission a specific GitHub commit to inspect. Submissions opened on August 18.

3 min readRead story