AI News HubLIVE

Agent动态

专为AI代理打造的浏览器自动化CLI工具

BrowserAct是一个浏览器自动化CLI,专为AI代理设计,能够突破反爬虫封锁、支持人工接管、并行任务无干扰,并隔离多个账号。它通过环境层、执行层和人工层三层机制突破封锁,提供三种浏览器模式,并针对LLM推理优化输出格式。

  • 三层突破机制:环境层(指纹伪装、TLS轮换)、执行层(自动验证码、提取)、人工层(远程协助)。
  • 三种浏览器模式:复用本地Chrome、隐身隐私模式、隐身固定身份模式。
站内正文

通过“氛围编程”制作游戏,我设计了一个AI智能体协议

作者分享了自己从AI怀疑论者转变为爱好者的经历,在此过程中构建了一个由LLM驱动的MMO游戏(SAO:Slop Art Online),并遇到了延迟问题。他设计了一种混合NPC AI方法,结合了行为树和LLM决策,这启发他创造了SLOP——一个用于智能体与应用交互的协议,强调上下文动作和状态投影。

  • 作者对AI的态度从厌恶转向热衷,关键转折点是Opus 4.5的发布。
  • 开发了一个NPC由LLM控制的MMO,采用了混合AI架构。
站内正文

5个免费的智能体AI学习资源

本文介绍了五个免费的智能体AI学习资源,涵盖从入门到理论、从实践到评估的各个方面,帮助学习者深入理解并有效构建智能体。

  • 微软的《AI Agents for Beginners》课程提供结构化学习路径,涵盖基础到高级模式。
  • Hugging Face的智能体课程强调动手实践,对比多种框架。
站内正文

Show HN:可自定义的 SAP MCP 服务器

Superglue 推出了一款可自定义的 SAP MCP 服务器,为 SAP 实施顾问提供 AI 副驾驶,可直接查询客户 S/4HANA 数据,支持一键安装并集成到 Claude、Cursor 等 MCP 客户端。

  • 面向 SAP 实施顾问的 AI 副驾驶,可直接查询客户 S/4HANA 数据。
  • 预构建的 MCP 服务器,包含 8 个 SAP 工具,安装即用。
站内正文

代理开发的合理规格程度

本文探讨了在代理开发中规格说明的必要性,指出零规格和过度规格都有成本,最佳平衡点取决于任务类型,并强调了规格验证和可执行测试的重要性。

  • 零规格看似高效,实则隐藏了纠正循环的成本。
  • 适度的规格结合可执行检查能降低总成本。
站内正文

用于多变量数据推理的大规模时间序列语言模型(ICML)

OpenTSLM是一种多模态大语言模型,将时间序列作为原生模态处理,能够与文本一起对原始多变量信号进行推理。它在时间序列问答、活动识别、睡眠阶段分类和ECG问答任务上优于基线方法,包括GPT-4o。模型支持扩展到多个超长时间序列,内存消耗几乎恒定。ECG推理经7位心脏病专家验证,正确率97%。所有代码、数据集和模型均开源。

  • OpenTSLM是一种多模态LLM,将时间序列作为原生模态,可直接与文本结合进行推理。
  • 该模型在多项时间序列任务上超越GPT-4o等基线,即使1B参数版本也表现优异。
站内正文

OpenAI的Sol如何学会设计品味

GPT-5.6 Sol在Design Arena的网页设计排行榜上排名第一,比其前身GPT-5.5高出18位。它主动避免常见的AI设计反模式,结合了强大的模板与高度的个性化,并且比竞争对手更快、更便宜。

  • GPT-5.6 Sol总体排名第一,比GPT-5.5高出18位。
  • 它明确避免了常见的AI设计反模式,如紫色渐变和便当盒布局。
站内正文

AI 现在可以控制 Reaper DAW

一个名为 Reaper-MCP 的新开源项目通过模型上下文协议让 AI 助手能够直接控制 Reaper DAW,涵盖作曲、编辑、混音等音乐制作全流程。

  • Reaper-MCP 项目实现 AI 对 Reaper DAW 的全面控制
  • 包含 40 多个专用工具,覆盖从音轨管理到混音的各项功能
站内正文

如何将MCP服务器连接到Claude(Claude桌面版和Claude Code)

本文详细介绍了如何将MCP(模型上下文协议)服务器连接到Claude桌面版和Claude Code,使Claude能够与外部工具、文件、数据库等交互。包括两种桌面版配置方法(一键扩展和JSON配置)以及Claude Code的CLI命令配置,还提供了常见错误修复和推荐服务器列表。

  • MCP是统一的连接层,解决了N×M集成问题,使AI模型能通过标准接口与多种外部工具通信。
  • Claude桌面版支持一键扩展(.mcpb文件)和JSON配置文件两种方式,JSON配置需注意Windows路径差异。
站内正文

为什么AI辅助开发比想象中更令人疲惫

文章探讨了AI辅助开发如何导致'单一模式倦怠',通过压缩规划、实施和集成三种认知模式,使开发者尽管效率提高却更加疲惫。

  • AI辅助开发打破了规划、实施和集成三种认知模式的自然节奏。
  • 实施阶段(提供心流和认知重置)被监督任务取代,导致疲劳。
站内正文

改变我对AI在软件工程中看法的五项研究

本文总结了五项最近关于AI在软件工程领域的研究论文,这些论文共同揭示了AI正在压缩软件工程的上游工作,但下游瓶颈随之出现。主要发现包括:GitHub Copilot使PR吞吐量增加约40%,且呈剂量反应关系;AI在代码生成阶段的增益(高达+180%)在交付过程中大幅衰减(最终仅+30%的发布量);生产力与开发者体验出现脱钩;开发者希望AI更多用于验证任务而非代码生成;以及“认知债务”和“意图债务”正在成为新的软件健康问题。

  • GitHub Copilot的剂量反应分析显示,高使用率时PR吞吐量提升约40%,且效果在大型PR中更显著。
  • AI在代码生成阶段的增益在交付过程中逐步衰减,最终对发布量的影响仅为+30%。
站内正文

太空编程、AI-XR 和开发者的新交互范式

JetBrains 研究团队探讨了 AI 与扩展现实(XR)结合如何为技术创作者带来新的交互范式。通过专家访谈,他们总结了五个主题:人类如何向 AI-XR 系统传达意图、AI 如何使 XR 环境理解并适应个人、阻碍 XR-AI 主流化的因素、AI-XR 如何改变创作方式,以及隐私和伦理风险。研究指出,XR 硬件和 AI 的融合将彻底改变技术创作,但面临技术、认知和组织上的挑战。

  • AI 与 XR 的融合可能带来 60 年来首次人机交互革命。
  • 研究通过 13 位专家访谈,确定了五个核心主题。
站内正文

NVIDIA AI发布Nemotron 3 Embed:开源嵌入集合,8B检查点荣登RTEB榜首

NVIDIA发布Nemotron 3 Embed,包含三个开源检查点:8B BF16、1B BF16和1B NVFP4。其中8B模型在RTEB基准上以78.46平均NDCG@10排名第一。1B模型通过NAS剪枝和蒸馏从8B教师模型得到。NVFP4在Blackwell上保持99%+的检索精度,吞吐量提升2倍。所有模型支持32,768 token输入,采用OpenMDW-1.1许可。

  • Nemotron-3-Embed-8B-BF16在RTEB上以78.46平均NDCG@10排名第一
  • 提供8B BF16、1B BF16和1B NVFP4三种检查点
站内正文

用AI构建终端ePub阅读器的一些思考

作者利用AI编码助手(Codex CLI、Gemini CLI、Claude Code)将Python的epub阅读器epy移植到Rust,开发了终端阅读器repy。项目从2025年11月开始,2026年2月发布,但仅获得少量关注。文章反思了AI时代软件过剩的现象,并探讨了创作的意义。

  • 作者使用AI编码工具在数月内将epy移植为Rust项目repy。
  • repy支持多种格式、搜索、注释、TTS等功能,但代码完全由AI生成。
站内正文

中国英伟达替代品公司预测销售额激增,AI芯片需求旺盛

中国芯片设计公司摩尔线程和紫光信息预测上半年收入大幅增长,得益于国内AI计算需求激增。摩尔线程预计收入增长135%-149%,紫光信息预计增长55.6%-70.2%。这凸显了中国在AI基础设施上的强劲需求,以及在美国出口限制下国产芯片的崛起。

  • 摩尔线程预计上半年收入同比增长135.1%至149.4%,达到16.5亿至17.5亿元人民币。
  • 紫光信息预计上半年收入同比增长55.6%至70.2%,达到85亿至93亿元人民币。
站内正文

Lightport – 一个维护中的 Portkey AI 网关分支

Lightport 是一个轻量级的 AI 网关,专注于让各种 LLM 提供商兼容 OpenAI API。它源自 Portkey AI Gateway,但去掉了重试、缓存等高级功能,仅保留请求/响应转换层。支持 77 个提供商,包括 OpenAI、Anthropic、Azure OpenAI 等。可直接通过 pnpx lightport 快速启动。

  • Lightport 是 Portkey AI Gateway 的简化分支,专注于 OpenAI 兼容性。
  • 不支持重试、缓存等操作功能,这些由上层服务处理。
站内正文

欧盟迫使谷歌共享搜索数据并向竞争对手AI公司开放安卓系统

欧盟发布两项新规,要求谷歌共享搜索数据并开放安卓系统,以便竞争对手AI公司能公平接入。此举旨在打破科技巨头的数字垄断,促进创新,但谷歌警告可能会危及用户隐私和数据安全。

  • 欧盟要求谷歌分享匿名化搜索数据,并允许第三方AI助手在安卓设备上以同等水平运行。
  • 谷歌需在2027年1月前开始与竞争对手共享搜索数据,并允许语音激活和后台任务执行。
站内正文

我测量了AI编写空心测试是否比人类更严重,结果并非如此

本文介绍了一个名为voidguard的新工具,它能够检测出代码库中那些看似有效但实际上并未验证任何内容的“空心”测试、类型检查和CI门禁。作者通过对一个仓库的扫描,发现了七个这样的空心守卫,并由此开发了这个通用工具。文章详细说明了voidguard能检测的四类空洞以及无法检测的三类,强调了验证验证手段本身的重要性。

  • voidguard工具可检测四类空心守卫:从未运行的测试、不检查任何东西的类型门、被静默丢弃的设置以及永远无法触发的CI条件。
  • 该工具无法检测语义空洞、流程空洞和需要执行才能发现的空洞,并明确标注未知情况。
站内正文

OpenAI加密Codex代理指令,阻止本地审计追踪

OpenAI在其Codex命令行界面中引入了多代理v2消息加密,隐藏了代理间传递的指令,导致开发者无法调试和审计代理行为,引发了社区对可观测性丧失的担忧。

  • OpenAI加密了Codex中多代理v2的消息负载,使得代理指令不可见。
  • 该变更移除了本地回滚历史中的人类可读任务文本,影响审计和调试。
站内正文

一种基于fNIRS引导的离线强化学习方法用于机器人行为

本文探索了利用功能性近红外光谱(fNIRS)脑信号来调节机器人强化学习的可行性。研究比较了被动(观察)和主动(演示)交互任务中的智能体训练,并测试了多种增强RL算法的方法,重点关注参数增强而非替换。结果表明,该框架有效:脑信号在增强轨迹优先级和状态-动作Q值时改善了学习。此外,该框架能成功从离线数据中学习,为实时脑机接口设置不实用或数据有限的情况提供了实用替代方案。

  • fNIRS脑信号可用于增强机器人强化学习
  • 比较了被动和主动交互任务
站内正文

匿名通信下机器人群体中的随机过滤群体感应

一项来自arXiv的新研究提出了一种随机过滤协议(ANTk),用于采用匿名通信的机器人群体中的群体感应。该协议减轻了匿名协议中常见的重复计数偏差,提高了估计稳定性,但增加了错误恢复时间。研究将ANTk与基线和随机变体进行了比较,揭示了准确性、速度和稳定性之间的权衡。

  • 匿名通信可能导致机器人群体中群体感应估计的重复计数偏差。
  • 提出的ANTk协议通过随机过滤稳定群体估计,但代价是错误恢复较慢。
站内正文

MonteRET:利用多粒度知识检索增强多模态大语言模型的AI智能体,用于胸部CT报告生成

MonteRET是一种区域感知的检索增强框架,用于自动生成胸部CT报告。它整合全局和局部CT特征,检索相关医学知识,并通过知识引导的报告重写智能体优化初始报告。在RadGenome-ChestCT数据集和外部医院数据上,MonteRET在报告质量、语义相似性和临床效果上均优于现有方法。

  • MonteRET结合全局CT特征和区域级解剖表示,检索预测疾病与视觉语言对齐知识。
  • 在24,128次CT扫描上训练,在1,564次公共测试和82次外部扫描上评估。
站内正文

关键帧指南针:迈向关键帧条件视频生成的全面评估

提出首个关键帧条件视频生成基准KeyFrame-Compass,包含386个精心策划的样本,覆盖多种设置,并引入自动化评估框架,在9个系统上实验揭示忠实执行与自然合成之间的权衡。

  • KeyFrame-Compass是首个评估关键帧条件视频生成的综合基准。
  • 基准包含386个样本,涵盖3个应用领域、2种视频结构等。
站内正文

定义LLM工具效率:边际工具效用

本文提出了一种新的量化指标——工具效率,用于评估LLM智能体轨迹中有用工具调用的比率。为了精确定义工具效率,作者还引入了边际工具效用,该指标判断每次工具调用的有用性,以及能否在不影响准确性的情况下从工具套件中移除,从而提高效率。研究使用LLM作为裁判来确定轨迹中每次工具调用的边际工具效用符号。这项工作直接量化效率,为未来基准设计和精简工具套件优化提供基础。

  • 引入工具效率作为评估LLM智能体工具调用有用率的新量化指标。
  • 定义边际工具效用,用于判断单个工具调用是否必要且可移除。
站内正文

语言模型代理之间的潜在通信:通道、对齐与文本的局限性

新研究表明,大型语言模型代理在通过文本通信时会丢失信息。使用稀疏自动编码器特征分析,研究者发现潜在空间通信虽然在某些压缩率下保留更多信息,但丢失的特征主要编码表面形式而非任务相关语义,从而对潜在通信的优势提出质疑。

  • 文本通信丢失信息,SAE稀疏通道在28倍压缩下保持99.4%的探针准确率,而文本通道仅为80.4%。
  • 跨架构潜在空间对齐(Llama和Mistral)达到92%的Top-1检索率。
站内正文

分支策略优化:面向沙盒的原生语言智能体强化学习

提出分支策略优化(BPO),利用沙盒的确定性、可快照和可恢复特性,通过共享前缀的树形 rollout 拓扑降低策略梯度方差,在多个基准上较 GRPO 和 RLOO 提升 3.6-6.1 个绝对百分点。

  • BPO 利用沙盒可快照和可恢复的特性,构建共享前缀的树形 rollout 拓扑,替代独立轨迹采样。
  • 该算法在决策点分支并计算兄弟轨迹间的优势,理论上证明方差严格低于轨迹级基线。
站内正文

利用LiDAR地形智能的可解释地理空间AI用于卫星地面站选址

本文提出了一种可解释的、全球可部署的机器学习框架,用于从开放地理空间数据预测代表杂波高度(RCH)。该模型使用LiDAR衍生的标签进行训练,并采用LightGBM回归器,平均绝对误差为1.79米,R²=0.765,相比ITU基线误差降低超过60%。SHAP分析显示树冠覆盖、土地覆盖语义和光谱反射率是最重要的预测因子。该工作被IEEE CASE 2026接收。

  • 提出基于开放地理空间数据的机器学习框架,预测代表杂波高度(RCH),优于ITU-R P.452-18的固定杂波高度方法。
  • 使用LiDAR数据训练LightGBM模型,平均绝对误差1.79米,R²=0.765,误差降低60%以上。
站内正文

立场:可解释性研究必须优先关注基础问题而非临时方法

尽管可解释人工智能(XAI)技术层出不穷,从特征归因到稀疏自编码器,但解释很少影响实际工作流程。本文认为,机器学习社区必须从临时性的XAI方法转向解决基础性和结构性的挑战,包括不明确的问题表述、不充分的评估目标以及缺乏解释驱动反馈的流程。通过对近期ICML、NeurIPS和ICLR论文的分析及对XAI从业者的调查,作者揭示了限制累积进展的常见问题,并提出了一个实用清单,旨在将XAI转向更以人为中心、面向行动的模式。

  • XAI技术虽多,但在实际工作流程中很少被有效利用。
  • 需要转向解决基础性挑战:明确问题表述、完善评估目标、构建反馈流程。
站内正文

通过知识图谱增强小型语言模型的推理能力

最新研究将小型语言模型(SLM)与知识图谱结合,通过神经符号智能体框架提升其推理能力。在CLUTRR亲属关系基准测试中,使用Gemma 3和Llama 3.2模型的实验表明,RGCN提供的专家提示可使性能提升1.5-2倍,但存在提取瓶颈和顺序推理脆弱性问题。

  • 小型语言模型(SLM)通过知识图谱接地增强推理能力,成本更低且更环保。
  • 神经符号智能体框架使用extract_facts和get_hint两种工具调用,结合RGCN专家推理。
站内正文

ToolAnchor: 锚定反事实上下文以提升智能体工具使用能力

本文针对工具增强型大语言模型智能体在扩展工具集时面临的行为惯性问题,提出通过注入反事实锚定上下文来打破惯性,恢复失败轨迹。ToolAnchor框架利用教师模型假设反事实上下文,经学生回滚验证后,通过智能体后训练内化成功干预,在GAIA、BrowseComp和VDR-Bench等任务中表现优异,为动态工具适应开辟了新路径。

  • 识别了工具集扩展中的行为惯性障碍,即智能体倾向使用熟悉工具和推理模式。
  • 提出反事实锚定上下文方法,在关键决策点注入以打破惯性并恢复失败轨迹。
站内正文

用于运营决策支持的贝叶斯网络的人机协同构建——一种虚拟调查方法

研究人员提出了一种利用大型语言模型(LLM)构建贝叶斯信念网络(BBN)的新方法,该方法通过一组AI代理基于特定角色和上下文估计概率,并采用修剪均值规则去除噪声,从而弥合专家意见与数据驱动学习之间的差距。研究以替代医疗系统中患者就医意向为案例,发现自我效能的影响实际较小,而主观规范的影响更强,最有效的策略是同时提升自信和社区规范。

  • 新方法利用大型语言模型和AI代理面板来估计概率,结合修剪均值规则减少噪声。
  • 开发了一个六步贝叶斯网络框架,用于建模不确定性下的决策。
站内正文

用于闭环1型糖尿病控制的可解释语言模型

一种名为LLM-T1D的新方法将强化学习与大语言模型相结合,创建了一种可解释的胰岛素泵控制器,用于1型糖尿病,实现了73.5%的时间在目标血糖范围内,同时提供清晰的解释。

  • 结合强化学习和大语言模型实现透明决策
  • 微调LLaMA 3.1 8B和Qwen3 8B模型
站内正文

RegNetAgents:用于癌症基因组学跨网络调控驱动因素识别的多智能体框架

RegNetAgents是一个基于AI的多智能体框架,能够跨异质性基因调控网络进行结构化的调控候选识别。该框架整合了TCGA和GREmLN项目的大规模网络,对焦点基因进行双网络分类、癌症基因过滤和作用模式分配。在乳腺癌和结直肠癌的测试中,识别出的候选调控因子显著富集于OncoKB注释的癌症基因,且在管家基因中无富集,表明其特异性。框架还包含评估致癌潜力、可成药性等扩展模块。

  • RegNetAgents结合了来自TCGA(肿瘤批量)和GREmLN(单细胞)的ARACNe基因调控网络。
  • 通过双网络分类、OncoKB过滤和作用模式分配,对焦点基因进行调控候选识别。
站内正文

用于搜索与救援的自主无人机群智能三级学习架构

一篇新论文提出了一种三级分层学习架构,用于执行搜索与救援任务的自主无人机群,整合了赫布神经可塑性、基于图神经网络和行为树的多智能体强化学习,以及带BDI推理和数字孪生的元学习。该框架提供形式化保证,并引入群体元认知。

  • 三级架构灵感来自反射、技能和推理的生物层次。
  • 使用赫布神经可塑性、MARL与GNN/行为树以及元学习与BDI/数字孪生。
站内正文

通过语义合约重获对AI生成代码的信任

针对AI生成代码速度快于人类审查而导致的信任危机,本文提出“语义合约”——一种类型安全、编译时检查的蓝图,位于需求与代码之间,确保任何实现(无论人工还是AI编写)的正确性。文章通过排序算法和电商结账示例展示了语义合约的构建块、状态处理和集成方式。

  • AI代码生成速度快,但缺乏可解释性和可审计性,导致信任危机。
  • 语义合约是一种结构化、可验证的业务逻辑蓝图,位于需求和代码之间。
站内正文

AI助手需要后端:将其部署在边缘

本文介绍了如何使用Telnyx Edge Compute函数为语音AI助手构建后端,通过单一函数处理动态变量和Webhook工具调用,验证请求并连接业务逻辑,从而简化架构并提升性能。

  • 利用单一Edge Compute函数处理AI助手的动态变量和Webhook工具调用,避免部署多个Webhook服务。
  • 动态变量在对话开始前解析,确保助手获得运行时信息,如公司名称和时间框架。
站内正文

Gradle Technologies 更名为 Develocity

Gradle Technologies 现已更名为 Develocity,专注于 AI 驱动的软件交付管道治理与效率。公司表示,AI 已将软件交付瓶颈从人类转移到管道上。

  • Gradle Technologies 更名为 Develocity,专注于 AI 驱动的软件交付。
  • AI 已将瓶颈从开发者转移到管道。
站内正文

Show HN:PocketVeto——一款仅通过蓝牙通信的AI代理遥控器

PocketVeto是一款通过蓝牙实现本地、无互联网的AI编码代理遥控工具。用户可以从手机批准或拒绝代理执行的危险操作(如shell命令、文件写入等),并实时查看代理活动仪表盘。支持Windows、Linux及开发容器,目前v1版本已可用。

  • PocketVeto通过蓝牙经典连接,无需互联网或局域网路由,适用于WiFi AP隔离环境。
  • 支持Cursor和Claude Code的钩子集成,自动检测主机并拦截工具调用。
站内正文

模糊与去模糊AI

Blur & Unblur AI是一款免费的在线工具,可检测照片中的人脸,对选定的人脸应用模糊效果,并导出干净的PNG文件——所有处理均在浏览器本地完成,无需上传图片。

  • 自动人脸检测,支持套索工具手动修正
  • 模糊强度可实时调整并预览
站内正文

VulnHunter:智能体驱动的AI安全工具

VulnHunter 是一个开源的智能体AI安全工具,采用攻击者优先的主动分析方法,直接从源代码中识别可被利用的漏洞,并提出证据支持的修复方案。它由 Capital One 内部开发并开源,旨在应对现代软件供应链中的安全挑战。

  • 与传统被动式SAST扫描器不同,VulnHunter模拟攻击者思维进行正向分析,减少误报。
  • 包含假证引擎,主动尝试否定自身发现的漏洞,确保高优先级告警的准确性。
站内正文

微软以企业级规模交付AI代理

微软的Foundry平台现已支持超过8万家企业构建AI代理。在产品副总裁Marco Casalaina的访谈中,他解释了原型与生产环境代理之间的关键差异、代理框架的重要性,以及微软如何构建上下文层以确保代理的可靠性。

  • 原型代理无法在生产环境中存活,失败原因通常在于模型之外的框架。
  • 生产环境中,代理的‘框架’(包括运行时、工具、身份层等)与模型本身同等重要。
站内正文

[AINews] Kimi K3 2.8T-A50B:有史以来最大的开源模型;Opus 4.8级别的性能,Sonnet 5的定价

Moonshot AI发布了Kimi K3,一个2.8万亿参数的开源模型,拥有1M上下文长度,在Frontend Code Arena中排名第一,并在多项基准测试中取得优异成绩。此次发布标志着开源模型的一个里程碑,尽管与顶级闭源模型仍存在差距。新闻通讯还涵盖了其他AI新闻,包括安全事件、智能体框架和机器人技术。

  • Kimi K3是一个2.8万亿参数的开源模型,拥有1M上下文和原生多模态输入。
  • 它在Frontend Code Arena中排名第一,超越了Claude Fable 5。
站内正文

SAM — 一款在本地运行的开源AI智能体

SAM是一个免费的开源AI智能体,它能在你的计算机上本地运行,无需订阅。它不仅能聊天,还能实际执行任务,拥有173种工具,支持团队协作、离线运行,并且注重隐私。

  • 免费开源,本地运行,数据隐私安全
  • 支持173种真实工具,可执行网页、文件、终端等操作
站内正文

RepoMap:AI代理的仓库架构地图——无需源码即可智能分析

RepoMap 是一种新型工具,通过确定性分析仓库结构,生成交互式架构图,帮助AI代理快速理解项目架构,同时大幅减少令牌消耗。它支持分支对比、提交差异可视化和多种图形布局。

  • RepoMap 在不向LLM发送源代码的前提下提取仓库结构,生成可复用的架构表示。
  • 分为三阶段:确定性分析、架构推理和交互式可视化。
站内正文

Forall:基于规范驱动、附带形式验证的AI编程工具

Astrio 推出 Forall(∀),一个通过规范驱动生成代码并附带机器可验证证明的编程助手。支持 CLI 和 MCP 两种使用方式,目前兼容 TypeScript、Java 和 Rust,基于 Apache-2.0 开源。

  • Forall 是一款由 Astrio 开发的编程助手,根据用户编写的规范自动生成代码和形式化证明。
  • 支持 CLI 全功能代理和 MCP 集成(仅验证)两种模式。
站内正文

Alphabet股价因Gemini 3.5 Pro延迟发布而下跌

据报道,Alphabet推迟了其旗舰AI模型Gemini 3.5 Pro的发布,导致股价下跌。该模型的编码能力未达到内部预期,而竞争对手如OpenAI和Meta已推出更先进的AI编码模型。

  • Alphabet因Gemini 3.5 Pro AI模型延迟发布,股价下跌4%。
  • 模型编码能力未达内部预期,竞争对手已推出更先进的编码模型。
站内正文

月之暗面发布 Kimi K3:2.8万亿参数开源MoE模型,搭载Kimi Delta Attention和百万上下文

月之暗面于2026年7月16日发布Kimi K3,这是一款2.8万亿参数的开源MoE模型,采用Kimi Delta Attention和Attention Residuals架构,支持原生视觉和100万token上下文窗口。K3在多项基准测试中表现出色,但整体性能仍略逊于最强大的专有模型。

  • Kimi K3是首款开源2.8万亿参数MoE模型,激活896个专家中的16个。
  • 引入Kimi Delta Attention(KDA)和Attention Residuals(AttnRes),分别提升解码速度和训练效率。
站内正文

在WebAssembly中运行Firefox:浏览器内虚拟化的技术突破

Puter团队成功将Firefox的Gecko引擎编译为WebAssembly,实现了在一个浏览器中完整运行另一个浏览器的壮举。项目耗费约25,000美元的AI计算资源,通过Wisp协议代理所有网络流量,并支持端到端加密。该成果已开源,展示了WebAssembly在虚拟化领域的巨大潜力。

  • Puter利用Claude Opus和Fable模型,将Firefox的Gecko引擎编译为WebAssembly,实现浏览器内运行完整浏览器。
  • 项目成本约25,000美元,得益于Claude Max订阅计划提供的AI令牌。
站内正文

AegisDB – 自托管AI代理内存,单个C语言二进制文件

AegisDB是一个自托管的AI代理内存系统,提供持久化、语义化和工作记忆功能,通过简单的JSON-over-TCP协议访问。它采用单个无依赖的C语言二进制文件,支持多租户、加密、备份、只读副本和可观测性,特别适合与Claude Code集成,确保数据完全由用户掌控。

  • 单个C语言二进制文件,零依赖,支持Docker部署
  • 提供持久化、语义化(向量搜索)和工作记忆三种内存类型
站内正文

主题导航

Agent — AI 话题新闻 | AI News Hub