Mistral AI 发布 Leanstral 1.5:6B 参数模型刷新数学验证 SOTA,可发现深层代码漏洞
Mistral AI 正式发布了 Leanstral 1.5,这是一个基于 Apache-2.0 协...
Mistral AI 正式发布了 Leanstral 1.5,这是一个基于 Apache-2.0 协...
安全研究团队NebuSec近日公开了名为“IonStack”的安全研究项目,演示了针对Android...
随着AI大模型技术的深入落地,开发者社区的关注点正从底座模型的选型,转向上层的Agent(智能体)编...
一位开发者近日在 GitHub 开源了一款名为 'Agent Notify' 的通知工具,旨在解决 ...
在开发者社区 Linux.do 上,有用户发帖吐槽热门开源 AI 编程工具 Antigravity ...
Oak是一款旨在重塑版本控制交互方式的开源工具,专注于解决AI Agent在现代软件工程中面临的I/...
多伦多大学公民实验室最新报告揭示了一起极具讽刺意味的政治黑客事件。前欧洲议会议员 Stelios K...
近日,科技社区 Linux.do 有用户报告指出,其长期常用的 AIStudio 平台搭载的 Gem...
Deptrust 是一款新发布的开源 CLI 工具及 MCP 服务器,旨在解决 AI 智能体在辅助编...
这是一个名为“ClawdMoji”的开源项目,旨在通过编程方式完美复现Anthropic公司吉祥物“...
针对科技从业者面临的信息过载问题,开发者近期在 V2EX 社区分享并开源了一款名为 news-cli...
GitHub 上名为 pxpipe 的开源项目提出了一种新颖的 AI 成本优化方案。该工具通过本地代...