OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。
OpenAI向开发者开放Codex Harness核心能力，该框架是Codex智能体的运行环境，负责连接模型、用户与工具，管理任务、上下文、会话及代码操作。此前已开源Codex CLI及核心代码，并持续完善Harness与App Server。其架构不仅是代码生成工具，更是完整的Agent执行框架。
宇树科技创始人王兴兴在2026世界机器人大会透露，公司将推进物理AI机器人模型自进化，探索用AI大模型自动生成机器人控制代码。登陆科创板次日他表示，计划以前沿大模型为核心，自定义规则、经验框架和约束工具，自主检索最新论文、成果及开源方案，生成代码并经模型自评与人工评审。
开源智能体工具DeepSeek Harness发布仅一周即升级，新增多模态支持，模型适配器可启用原生图片请求，引发其视觉模型将发布猜想。交互体验改进：/goal、/plan等命令支持带图发送，@引用功能优化。
DSH Web UI生态的一键式聚合整合包插件。
端到端AI驱动软件交付方案，快速迁移系统，降本增效
LuckeySystems开源本地优先AI工具生态，能持久记忆工作内容
免费开源的自然语言浏览器自动化CLI，用纯英文指令驱动真实浏览器
Openai
$2.8
输入tokens/百万
$11.2
输出tokens/百万
1k
上下文长度
Google
$0.49
$2.1
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$105
$525
$0.7
$7
$35
$17.5
$21
Alibaba
$4
$16
$1
$10
256
Baidu
128
$6
$24
$2
$20
Mungert
MiroThinker v1.0是一个开源研究智能体，通过模型级别的交互式扩展提升工具增强推理和信息搜索能力。该模型在多个基准测试中表现出色，支持长上下文和深度多步分析。
moonshotai
Kimi K2 Thinking 是月之暗面（Moonshot AI）开发的最新一代开源思维模型，具有强大的深度推理能力和工具调用功能。该模型采用混合专家架构，支持原生INT4量化，拥有256k上下文窗口，在多个基准测试中表现出色。
SadraCoding
SDXL-Deepfake-Detector 是一款精准检测 AI 生成人脸的工具，专注于维护数字世界的真实性，为抵御视觉虚假信息提供隐私保护且开源的解决方案。该模型通过微调预训练模型实现轻量级且高准确率的检测。
ibm-granite
Granite-4.0-350M是IBM开发的轻量级指令模型，基于Granite-4.0-350M-Base微调而成。该模型结合了开源指令数据集和内部合成数据集，采用监督微调、强化学习和模型合并技术开发，具备强大的指令跟随能力和工具调用功能。
unsloth
Granite-4.0-H-Small是IBM开发的具有320亿参数的长上下文指令模型，基于Granite-4.0-H-Small-Base微调而成。该模型结合了开源指令数据集和内部合成数据集，采用监督微调、强化学习对齐和模型合并等技术，在指令遵循和工具调用能力方面有显著提升，特别适合企业级应用。
Granite-4.0-H-Micro是IBM开发的30亿参数长上下文指令模型，基于Granite-4.0-H-Micro-Base微调而来。该模型结合了开源指令数据集和内部合成数据集，采用监督微调、强化学习对齐和模型合并等技术开发，具备结构化的聊天格式，在指令遵循和工具调用能力方面表现优异。
Granite-4.0-H-Tiny是IBM开发的具有70亿参数的长上下文指令模型，基于Granite-4.0-H-Tiny-Base进行微调。该模型结合了开源指令数据集和内部合成数据集，采用监督微调、强化学习对齐和模型合并等技术开发，具备增强的指令跟随和工具调用能力，特别适用于企业级应用。
Granite-4.0-Micro是IBM开发的30亿参数长上下文指令模型，基于Granite-4.0-Micro-Base微调而来。该模型结合了开源指令数据集和内部合成数据集，采用监督微调、强化学习对齐和模型合并等技术开发，具备增强的指令遵循和工具调用能力，特别适用于企业级应用。
Granite-4.0-H-Micro是IBM开发的30亿参数长上下文指令模型，基于Granite-4.0-H-Micro-Base微调而来。该模型结合了开源指令数据集和内部合成数据集进行训练，具备增强的指令遵循和工具调用能力，特别适合企业级应用。
Granite-4.0-H-Small是IBM开发的具有320亿参数的长上下文指令模型，基于Granite-4.0-H-Small-Base微调而成。该模型结合了开源指令数据集和内部合成数据集，采用监督微调、强化学习对齐和模型合并等技术开发，在指令遵循和工具调用能力方面有显著提升。
Granite-4.0-Micro是IBM开发的具有30亿参数的长上下文指令模型，基于Granite-4.0-Micro-Base微调而来。该模型使用了开源指令数据集和内部合成数据集，具备增强的指令遵循和工具调用能力，支持多语言任务，可作为各领域AI助手的基础模型。
Granite-4.0-H-Tiny是IBM开发的70亿参数长上下文指令模型，基于Granite-4.0-H-Tiny-Base微调而来。该模型结合开源指令数据集和内部合成数据集训练，具备专业、准确、安全的回复能力，支持多语言和工具调用，适用于企业级应用。
Granite-4.0-H-Micro是IBM开发的30亿参数长上下文指令模型，基于Granite-4.0-H-Micro-Base微调而来。该模型结合了开源指令数据集和内部合成数据集训练，具备多语言支持和增强的工具调用能力，在企业应用中表现出色。
openbmb
MiniCPM4-MCP是一款开源的端侧大语言模型智能体模型，基于80亿参数的MiniCPM-4构建，能够通过MCP与各种工具和数据资源交互，解决广泛的现实世界任务。
zai-org
GLM-4-9B是智谱AI推出的GLM-4系列最新一代预训练模型的开源版本，在语义、数学、推理、代码和知识等数据集评估中表现出色，支持多语言和多种高级特性，包括网页浏览、代码执行、自定义工具调用和长文本推理等功能。
RichardErkhov
CursorCore是一系列专为AI辅助编程设计的开源模型，旨在支持自动编辑和内联聊天等功能，复刻像Cursor这类闭源AI辅助编程工具的核心能力。该模型基于Qwen2.5-Coder-1.5B微调，通过对齐编程指令生成数据实现编程辅助功能。
dangvansam
VietTTS是一个开源工具包，提供强大的越南语TTS模型，支持自然语音合成和语音克隆。
U4R
StructEqTable-Deploy是一个高效开源的表格转LaTeX工具包，能够将表格图像转换为LaTeX代码，并执行多种与表格相关的推理任务。
jambroz
这是一个使用mergekit工具通过DARE TIES方法合并的7B参数规模语言模型，融合了多个高性能开源模型。
denxxs
该模型的具体信息不可用，可能是一个开源项目或工具。
Klavis AI是一个开源项目，提供在Slack、Discord和Web平台上简单易用的MCP（模型上下文协议）服务，包括报告生成、YouTube工具、文档转换等多种功能，支持非技术用户和开发者使用AI工作流。
Container Use是一个开源工具，为编码代理提供容器化隔离环境，支持多代理并行开发且互不干扰。
Aderyn是一个开源的Solidity智能合约静态分析工具，由Rust编写，帮助开发者和安全研究人员发现Solidity代码中的漏洞。它支持Foundry和Hardhat项目，可生成多种格式报告，并提供VSCode扩展。
MCP Toolbox for Databases是一个开源数据库MCP服务器，专注于企业级和生产质量，简化工具开发，提供连接池、认证等复杂功能。
Airweave是一个开源的人工智能代理和RAG系统的上下文检索层，它连接并同步各种应用程序、工具和数据库的数据，通过统一的搜索接口为AI代理提供相关、实时、多源的上下文信息。
Supabase MCP服务器是一个开源工具，允许IDE安全执行SQL、管理模式变更、调用Supabase管理API和使用Auth Admin SDK，内置安全控制。
Solana Agent Kit是一个开源工具包，用于将AI代理连接到Solana协议，支持60多种区块链操作。
Cognee是一个为AI代理提供记忆功能的开源项目，通过模块化ECL管道构建动态知识图谱，支持多种数据源和格式，减少幻觉并降低成本。
Testkube是一个面向云原生应用的测试编排与执行框架，提供统一平台来定义、运行和分析测试，支持现有测试工具和Kubernetes基础设施。
Netdata是一个开源实时基础设施监控平台，提供每秒级指标收集、可视化、机器学习驱动的异常检测和自动化告警，无需复杂配置即可实现全栈监控。
OpenDia是一款开源浏览器扩展工具，允许AI模型直接控制用户浏览器，利用现有登录状态、书签等数据进行自动化操作，支持多种浏览器和AI模型，注重隐私保护。
Serena是一个强大的开源编码代理工具包，能够将LLM转化为可直接在代码库上工作的全功能代理。它提供类似IDE的语义代码检索和编辑工具，支持多种编程语言，并可通过MCP协议或Agno框架与多种LLM集成。
MCP LLMS-TXT文档服务器是一个开源工具，允许开发者通过MCP协议控制IDE和应用程序访问llms.txt文档资源。
这是一个关于Web3 Model Context Protocol (MCP) 服务器的精选列表，涵盖了链交互、交易、DeFi、市场数据、工具和社交等多个类别。MCP是一个开放协议，标准化了应用程序如何向LLM提供上下文，类似于AI应用程序的USB-C端口。DeMCP是第一个去中心化的MCP网络，专注于为代理提供自研和开源的MCP服务，支持加密支付，并结合TEE和区块链注册表重新定义了MCP的安全性和可靠性。
MCPAdapt是一个开源项目，旨在将650多个MCP服务器的工具无缝集成到各种代理框架中，使开发者能够轻松地在自己的代理工作流中使用这些工具。
开源短视频自动生成工具，整合文本转语音、自动字幕、背景视频和音乐，从简单文本输入创建专业短视频。
ACI.dev是一个开源AI代理工具基础设施，提供600+预集成工具的多租户认证、权限管理和动态发现功能，支持通过统一MCP服务器或轻量SDK调用，简化生产级AI代理开发。
Neon MCP Server是一个开源工具，允许用户通过自然语言与Neon Postgres数据库交互，简化数据库管理任务。
Quarkus Model Context Protocol (MCP) Server是一个开源协议服务器，支持通过声明式和编程式API轻松集成LLM应用与外部数据源和工具。
Pipelock是一个开源的AI代理防火墙，通过单二进制文件提供零运行时依赖的安全防护。它采用能力分离架构，在代理与互联网之间部署九层扫描管道，防止秘密泄露、提示注入和恶意工具调用。支持多种代理模式（Fetch代理、正向代理、WebSocket代理）和MCP代理，提供紧急停止开关、审计日志和SIEM集成等功能。
%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
VIP会员
