Release of Leanstral 1.5
Leanstral 1.5 (labs-leanstral-1-5) has been released. It is an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning, and will retire on September 30, 2026.
Leanstral 1.5 (labs-leanstral-1-5) has been released. It is an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning, and will retire on September 30, 2026.
gemini-3.1-flash-lite-image is a multimodal model optimized for ultra-low latency, cost-effective image generation and editing, now GA in the Gemini API.
Claude Sonnet 5 is available in Model Garden.
The Hydrogen developer preview can now be deployed to Vercel in a few clicks. A new Deploy button creates a repo from the Next.js starter template, sets up a Vercel project, and builds it. No local setup required. The template is a working Hydrogen storefront with the typed Storefront API client, cart, and product and collection pages already wired up.
A new version of the CircleCI CLI is in Beta. The new CLI has several enhancements including a built in MCP server, the ability to trigger and watch pipeline runs, and access build output for jobs. The new CLI is also optimized for agents like Claude Code and Codex to use. Visit https://cli.circleci.com for installation instructions and full release notes.
Agent evaluations support for the Agent Development Kit (ADK), previously in preview, is now removed. To evaluate agents, use agent evaluations via the DigitalOcean Control Panel for supported agent types. To monitor ADK agent behavior, use …
Voyage AI has released voyage-context-4, a contextualized chunk embedding model that features auto-chunking and handles documents longer than 32K tokens.
OpenCode now integrates with Supabase, providing automatic MCP setup for agents to access databases, Edge Functions, and logs.
Custom Single Message Transformations are now available for fully managed connectors on Basic, Standard, and public Dedicated clusters in all supported regions.
Anthropic launched Claude Sonnet 5, with improvements over Sonnet 4.6 in reasoning, tool use, coding, and knowledge work.
Claude Sonnet 5 supports a 1M token context, 128k max output and the same tools as Sonnet 4.6 except Priority Tier. Migrating teams should note that adaptive thinking is on by default and manual extended thinking changes.
Support for nested embedding in MongoDB Vector Search indexes is now generally available.
Testing object and property security policies configured on object types in Ontology Manager is now generally available across Foundry enrollments, showing which users or groups can view individual objects and properties.
Vercel Functions now support deploying HTTP servers from a Dockerfile or Containerfile , using Open Container Initiative (OCI) compatible images on Fluid compute. This makes it easier to bring existing applications written in any language to Vercel while keeping the preview deployments, logs, routing, and autoscaling benefits of using Vercel Functions and...
Today, we're launching expanded capabilities for Vercel Agent in public beta. Vercel Agent now lives in your dashboard and can investigate production issues, answer questions about your projects, and take action on your behalf.
Enterprise admins can now set a cost center user-level budget: one per-user AI credit budget on a cost center that applies to every individual in it. As membership changes, the budget follows. Anyone added to the cost center, directly or through an enterprise team, picks up its per-user budget, and anyone removed is no longer covered by it.
Enterprises can now manage their dependencies’ licenses at scale with sophisticated, ruleset-based checks that enforce a centralized policy. Open source license compliance is in public preview, letting you block noncompliant dependencies before they reach production.
You can now scan and navigate release pages more easily with a dedicated sidebar table of contents. We also updated release metadata placement for a more consistent layout so it’s easier to move between entries on long pages. Users with write access can also now see download counts per release asset directly in the Releases UI.
Microsoft Foundry brings Toolboxes to GA, providing a unified endpoint to invoke the most-used tools in prompt agents and callable outside of prompt agents. Today every agent team hand-assembles its own tool list to solve the same tasks, with no shared ar
Lakehouse Real-Time (Lakehouse//RT) is now in Beta . Lakehouse//RT is a serverless SQL warehouse type built for low-latency, high-concurrency workloads, delivering sub-second SQL read queries against Unity Catalog tables.
Analytical search, an orchestration capability in Cortex Agents that enables analytical queries over large document collections, is now in Public Preview. Traditional retrieval-augmented generation (RAG) approaches retrieve a small number of passages, which limits their ability to answer questions requiring comprehensive analysis, such as counts...
Google's Nano Banana 2 Lite (Gemini 3.1 Flash-Lite Image) is now available through AI Gateway. You can call this lightweight image generation model from Netlify Functions without configuring API keys; the AI Gateway provides the connection to Google for you.
Description: AI Feedback is now easier to organize and much easier to monitor in near "real-time". You can set each source to be auto-analyzed every 15 minutes, hourly, or daily, add custom labels to automatically tag incoming feedback, insights, and trends, browse all feedback in one unified feed, and build anomaly detection charts on top of feedback data...
Storing a service account JSON key file to connect Grafana Cloud to Google Cloud is a persistent security liability. Keys get embedded in config files, shared across teams, or quietly forgotten , all while remaining valid for years. When one leaks, there’s no automatic expiry and no limited blast radius.
k6 v2.1.0 is here 🎉 This release includes: An opt-in feature-flag system , --features , the K6_FEATURES environment variable, and a k6 features discovery command , shipping with experimental native histograms for trend metrics as its first flag. A context-level proxy option for browser contexts.
gen_ai span streaming on by default, new aiomysql and HTTPX2 integrations, MCP SDK v2 support, and broad PII-gating improvements.
- New: Create and manage OAuth Apps for Device Provisoning with the Tailscale API (alpha) .
You can now assign granular, resource-scoped roles for Cloudflare Gateway firewall policies and Zero Trust lists . Administrators can delegate access to specific policy types or list management without granting account-wide or product-wide control.
- Flux Word-Level Timestamps , each word in the words array now includes start and end times on the Flux streaming endpoint ( /v2/listen ). This is an additive change. If your client library rejects unrecognized response fields, update to a current SDK version , for the Deepgram Python SDK, use 6.0.1 or later, or 5.3.4 if you are on the 5.x line.
A Hardware filter on the Models page shows models that fit a specific GPU, CPU, or Apple Silicon chip, set from Hardware settings and shareable via URL.
We've expanded team marketplaces to support Team MCPs and organization groups. Team MCPs in team marketplaces Admins can now configure Team MCP servers once and distribute them across cloud agents, the agents window, IDE, and CLI.
⚡ Highlights ⚡ 👉 https://github.com/aquasecurity/trivy/discussions/10907 Changelog https://github.com/aquasecurity/trivy/blob/main/CHANGELOG.md#0720-2026-06-30
2.11.0 (2026-06-30) Features ui: add annotation summary to project settings (05582a1) Bug Fixes preserve generator inputs in create_dataset and add_examples_to_dataset (c629b70) Documentation phoenix-client: correct create_evaluator 2-tuple scorer docs (f123759)
Claude Opus 4.8 (fast mode) is now rolling out in preview on GitHub Copilot. Fast mode delivers significantly faster output token speeds while maintaining the same intelligence as Claude Opus 4.8, making it well suited for interactive coding and agentic workflows where responsiveness matters.
Repository admins can now restrict issue creation to collaborators with write access. This gives you more control over who can open issues and helps reduce unwanted issue creation, while keeping issue workflows available to the people who actively maintain and contribute to the project.
Requests to claude-opus-4-6 with speed fast now run at standard speed and standard rates without erroring, and usage.speed reports the speed used. Migrate to Claude Opus 4.8 to keep fast mode.
- Added: Nebius Tunnels is now available in preview. You can expose local HTTP and TCP services to the internet through an outbound agent connection, without opening inbound firewall ports.
- New: ip:publicAddress device posture attribute is available for use in postures and viewable on the Machines page of the admin console. To test, go to the Settings page of the admin console and toggle Public IP addresses for device posture (beta) .
- Branch merge and rebase previews: Added Preview merged configuration (GET /v1/convai/agents/{agent_id}/branches/{source_branch_id}/merge-preview) and preview rebased configuration (GET /v1/convai/agents/{agent_id}/branches/{branch_id}/rebase-preview) to inspect merged or rebased agent configuration before committing.
Gemma 4 31B and Image Input Support Gemma 4 31B (gemma-4-31b) is now available in preview. It's the first model on Cerebras to support image input. Send screenshots, documents, diagrams, and design assets alongside text using the standard Chat Completions API. Image Inputs are now available in Public Preview through the Chat Completions API.
MySQL 8.0.45 is now the default minor version for Cloud SQL for MySQL 8.0. For more information about minor version support in Cloud SQL for MySQL, see MySQL 8.0 .
AI Gateway now supports voice and audio models. You can build realtime voice agents, generate speech from text, and transcribe audio to text. This provides the same observability, spend controls, and bring-your-own-key support as text, image, and video models in AI Gateway, with no markup or platform fees.
Vercel Functions now support Node.js and Python deployments up to 5GB in package size on Fluid compute , a 20x increase over the previous 250MB limit. Large Functions support is in public beta .
Cursor for iOS is now available in public beta on all paid plans. Launch and manage always-on agents from anywhere. Cloud agents on mobile Open the Cursor mobile app, choose a repo, and launch an agent the same way you would on the desktop app.
You can now bring your own Docker container image to AI Runtime CLI ( air ) workloads. This feature is in Beta . Use a custom image when you need specific system library versions, complex dependencies, or a reproducible environment. See Use custom Docker images .
Snowflake now supports replication of dynamic Iceberg tables as part of replication and failover groups. Previously, dynamic Iceberg tables were skipped during replication refresh operations. For more information, see Configure replication for Snowflake-managed Iceberg tables .
A new GA release for the Linux Cloudflare One Client is now available on the stable releases downloads page . This release introduces multiple features from our previous beta release into stable release, including: The client now applies DNS search suffixes configured in your device profile / network policy .
Oxylabs dashboard login now supports Microsoft Entra ID (formerly Azure AD) for single sign-on (SSO) in addition to Google and Okta. To set up Entra SSO, contact your Oxylabs account manager and authenticate the users in your organization to sign in through Entra ID instead of using email and password. Head to dashboard login page to start.
We’ve launched a new Pipelines page in the CircleCI web app, bringing faster page loads and additional filter controls to help you find and manage your pipelines more easily. Existing users will be switched to the new design automatically. If you’d like to switch back to the previous version, toggle off “Updated view” in the top right of the Pipelines page.
We've enhanced the dashboardCreateSnapshotUrl mutation with new export options and introduced dashboardWidgetCreateSnapshotUrl , a new mutation for generating standalone chart images programmatically.
Live on cloud • All plans Retool now supports publishing apps on custom domains. If you self-host Retool (which inherently uses a custom domain ) or use a custom domain on a cloud instance , your apps are published to the domain you define in the following format: https://example.retool.com/rr/app/ .
Serverless Inference now requires a positive prepaid account balance before you can send inference requests. Usage charges are deducted from this balance, and access is suspended if it reaches $0. You can add a prepayment manually or enable …
Search results from Freshdesk, Gong, Linear, Slack, and Zendesk Support include related names and context such as requester or author names.
Confluent Cloud can fetch connector secrets at runtime from Google Cloud Secret Manager, removing the need to persist secrets within Confluent's boundary.
Highlights Ray Data Stability: In this Ray release, we've added a variety of stability improvements, including running multiple datasets in a cluster, adding automatic batch size selection to CPU-based map-batches, and default logical memory configuration to prevent OOMs.