venturebeat
MCP just got its biggest update ever — here’s what changes for AI agents

The Model Context Protocol, the open standard that has quietly become the connective tissue between AI agents and the world's software, is getting its largest update since Anthropic released it t [...]

Match Score: 13.52

Destination
Study: Open source and nearly 3,000 developers are the digital foundation of the global economy

A new Harvard Business School study reveals open-source software represents enormous economic value. Without it, companies would spend 3.5 times more on software, with just 5% of developers generating [...]

Match Score: 13.51

venturebeat
AWS Continuum integrates with OpenAI Codex and Anthropic Claude Code in major AI security push

Amazon Web Services is threading its AI-powered security infrastructure directly into the coding environments built by two of its fiercest rivals — and in doing so, it is making a bold bet that cont [...]

Match Score: 13.51

Destination
Anaconda Launches First Unified AI Platform for Open Source, Redefining Enterprise-Grade AI Development

In a landmark announcement for the open-source AI community, Anaconda Inc., a long-time leader in Python-based data science, has launched the Anaconda AI Platform — the first unified AI development [...]

Match Score: 13.51

Destination
DeepCoder-14B: The Open-Source AI Model Enhancing Developer Productivity and Innovation

Artificial Intelligence (AI) is changing how software is developed. AI-powered code generators have become vital tools that help developers write, debug, and complete code more efficiently. Among thes [...]

Match Score: 13.51

Destination
Google releases open-source Gemini CLI to bring Gemini AI into developer workflows

Google launches Gemini CLI, an open-source tool that brings Gemini AI directly to the command line.<br /> The article Google releases open-source Gemini CLI to bring Gemini AI into developer wor [...]

Match Score: 13.51

Destination
Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.<br / [...]

Match Score: 13.51

Destination
NVIDIA is reportedly working on its own open-source AI agent platform

NVIDIA is reportedly working on its own open-source AI agent platform, according to Wired. The chipmaker has been pitching the product to enterprise software companies. Reporting indicates it's g [...]

Match Score: 13.51

venturebeat
Endor Labs launches free tool AURI after study finds only 10% of AI-generated code is secure

Endor Labs, the application security startup backed by more than $208 million in venture funding, today launched AURI, a platform that embeds real-time security intelligence directly into the AI codin [...]

Match Score: 13.51