OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。
宇树科技创始人王兴兴在2026世界机器人大会透露，公司将推进物理AI机器人模型自进化，探索用AI大模型自动生成机器人控制代码。登陆科创板次日他表示，计划以前沿大模型为核心，自定义规则、经验框架和约束工具，自主检索最新论文、成果及开源方案，生成代码并经模型自评与人工评审。
企业AI深入客服、运营等核心场景，安全风险更复杂。除大模型越狱、敏感信息泄露外，工具滥用、智能体越权、多智能体协同攻击等新型风险涌现。8月20日，IDC发布《中国生成式AI安全评估平台2026年厂商评估》报告，聚焦该市场。
韶音发布首款AI耳机OpenFit 2 AI，深度接入阿里千问大模型，并针对金融、法律等商务场景专项调优，标志其从硬件优势全面迈向AI驱动，定位新一代商务生产力工具。
语音优先的AI工作空间，团队模型跟随指令跨工具行动
在线AI视频制作工具，将想法转化为精彩视频，多模型集成，可免费试用。
AI 3D 模型生成器，可从文字和图片生成可打印 3D 模型。
Cola是Agent OS和AI操作系统，预装模型工具，能与人共同进化。
Openai
$2.8
Input tokens/M
$11.2
Output tokens/M
1k
Context Length
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
$2
$20
$6
$24
Baidu
128
bartowski
这是由Mistral AI开发的大型语言模型Mistral-Large-3-675B-Instruct-2512的GGUF量化版本。原始模型拥有6750亿参数，专为指令遵循任务设计。本项目使用llama.cpp工具，结合imatrix校准数据集，生成了从Q8_0到IQ1_S共20多种不同精度的量化模型文件，旨在平衡模型性能、推理速度与存储/内存占用，使其能在更广泛的硬件上运行。
EssentialAI
Rnj-1-instruct 是由 Essential AI 从头开始训练的 80 亿参数开放权重密集模型，针对代码、STEM 领域、智能体能力和工具调用进行了优化。它在多种编程语言中表现出色，同时在数学和科学领域也展现出强大实力，能力与最先进的开放权重模型相当。
Rnj-1 是由 Essential AI 从头训练的一系列 80 亿参数、开放权重的密集模型。该模型针对代码和 STEM 领域进行了优化，在编程、数学推理、智能体任务和工具调用方面表现出色，能力与最先进的开放权重模型相当。
moonshotai
Kimi K2 Thinking 是月之暗面（Moonshot AI）开发的最新一代开源思维模型，具有强大的深度推理能力和工具调用功能。该模型采用混合专家架构，支持原生INT4量化，拥有256k上下文窗口，在多个基准测试中表现出色。
SadraCoding
SDXL-Deepfake-Detector 是一款精准检测 AI 生成人脸的工具，专注于维护数字世界的真实性，为抵御视觉虚假信息提供隐私保护且开源的解决方案。该模型通过微调预训练模型实现轻量级且高准确率的检测。
Mungert
PokeeResearch-7B是由Pokee AI开发的70亿参数深度研究代理模型，结合了AI反馈强化学习（RLAIF）和强大的推理框架，能够在工具增强的大语言模型中实现可靠、对齐和可扩展的研究级推理，适用于复杂的多步骤研究工作流程。
lichorosario
这是一个基于Qwen-Image模型训练的LoRA（Low-Rank Adaptation）模型，专门用于文本到图像的生成任务。该项目使用AI Toolkit训练，能够将文本描述转化为高质量的图像，支持在多种图像生成工具中使用。
hyperchainsad
这是一个基于Wan2.2-T2V-A14B基础模型训练的文本到视频LoRA模型，使用AI Toolkit工具包进行训练，专门用于增强文本到视频的转换能力。
expert78
kontext-dusk-3-lora是一个基于FLUX.1-Kontext-dev基础模型训练的LoRA图像生成模型，专门用于生成黄昏蓝调时刻风格的图像。该模型通过特定触发词触发，支持多种主流AI图像生成工具使用。
BarleyFarmer
pejawan22-lora是一个基于AI技术训练的LoRA模型，专门用于特定图像的生成，可与多种AI工具集成使用，通过触发词'peja'来生成图像。
LiseTY
这是一个基于AI Toolkit by Ostris训练的LoRA模型，专门用于文本到视频转换任务。该模型基于Wan2.2-T2V-A14B基础模型进行微调，支持多种AI工具和框架。
andrewwe
my_qwennud-lora是基于Qwen-Image-Edit-2509使用特定工具训练的LoRA模型，专门用于图像生成和编辑任务，采用AI Toolkit by Ostris训练而成，可与多种主流AI工具配合使用。
unsloth
Granite-4.0-Micro是IBM开发的具有30亿参数的长上下文指令模型，基于Granite-4.0-Micro-Base微调而来。该模型使用了开源指令数据集和内部合成数据集，具备增强的指令遵循和工具调用能力，支持多语言任务，可作为各领域AI助手的基础模型。
Hikarias
f3rnanda_wan22-lora是基于AI Toolkit by Ostris训练的LoRA模型，专门用于图像到视频的生成任务。该模型使用Wan2.2-I2V-A14B作为基础模型，支持在多种AI工具中使用，包括ComfyUI、AUTOMATIC1111等主流平台。
piccoli_no_style-lora 是一个基于图像到视频技术的LoRA模型，使用AI Toolkit进行训练，主要用于图像生成任务，可与多种主流AI工具配合使用。
dottrmstr-long-captions-lora 是一个基于 Qwen/Qwen-Image 基础模型训练的 LoRA 模型，专门用于文本到图像的生成任务。该模型借助 AI 工具包进行训练，支持多种工具调用，能够生成具有独特风格的图像。
ibm-granite
Granite-4.0-Micro 是 IBM 开发的 30 亿参数长上下文指令模型，具有优秀的指令遵循和工具调用能力，支持多种语言，适用于商业应用和 AI 助手场景。
gabriellarson
Foundation-Sec-8B-Instruct是一款专为网络安全应用设计的80亿参数指令调优语言模型。基于Llama-3.1-8B架构，具备出色的指令跟随能力和网络安全专业知识，支持本地部署，可帮助组织构建AI安全工具，减少对云服务的依赖。
stelterlab
Devstral是一款专为软件工程任务打造的大语言模型，由Mistral AI和All Hands AI合作开发，擅长代码探索、多文件编辑和工具调用。
Devstral Small 1.1是一款专为软件工程任务优化的大语言模型，由Mistral AI和All Hands AI合作开发，支持多语言和工具调用。
Klavis AI是一个开源项目，提供在Slack、Discord和Web平台上简单易用的MCP（模型上下文协议）服务，包括报告生成、YouTube工具、文档转换等多种功能，支持非技术用户和开发者使用AI工作流。
Zen MCP是一个多模型AI协作开发服务器，为Claude和Gemini CLI等AI编码助手提供增强的工作流工具和跨模型上下文管理。它支持多种AI模型的无缝协作，实现代码审查、调试、重构等开发任务，并能保持对话上下文在不同工作流间的延续。
Supabase MCP Server是一个连接Supabase项目与AI助手的工具，通过Model Context Protocol（MCP）标准化大型语言模型（LLMs）与外部服务的交互，实现数据库管理、配置获取和数据查询等功能。
Apify MCP服务器是一个基于模型上下文协议（MCP）的工具，允许AI助手通过数千个现成的爬虫、抓取器和自动化工具（Apify Actor）从社交媒体、搜索引擎、电商等网站提取数据。它支持OAuth和Skyfire代理支付，可通过HTTPS端点或本地stdio方式集成到Claude、VS Code等MCP客户端中。
OpenDia是一款开源浏览器扩展工具，允许AI模型直接控制用户浏览器，利用现有登录状态、书签等数据进行自动化操作，支持多种浏览器和AI模型，注重隐私保护。
微软官方MCP服务器集合，提供Azure、GitHub、Microsoft 365、Fabric等多种服务的AI助手集成工具，支持本地和远程部署，帮助开发者通过标准化协议连接AI模型与各类数据源和工具。
Notion MCP服务器是一个通过官方SDK连接AI模型与Notion工作区的协议服务，提供全面的Notion操作工具集。
Perplexity MCP Server是一个智能研究助手，利用Perplexity的AI模型自动分析查询复杂度并选择最佳模型处理请求，支持搜索、推理和深度研究三种工具。
Nexus是一个AI工具聚合网关，支持连接多个MCP服务器和LLM提供商，通过统一端点提供工具搜索、执行和模型路由功能，支持安全认证和速率限制。
K8M是一款AI驱动的轻量级Kubernetes控制台工具，集成大模型能力，支持多集群管理和MCP服务。
Perplexity MCP Server是一个智能研究助手，利用Perplexity的AI模型提供自动查询复杂度检测和最优模型路由功能，支持搜索、推理和深度研究三种工具。
这是一个基于Docker容器的AI开发工具项目，通过Markdown文件编写复杂工作流，结合Docker化工具和用户自选的LLM模型，实现多模型代理和项目优先设计的工作流程。
MemoryMesh是一个为AI模型设计的知识图谱服务器，专注于文本角色扮演游戏和互动叙事。它通过动态模式定义和自动生成工具，帮助AI在对话中维护一致且结构化的记忆，实现更丰富、更动态的交互体验。
该项目为LangChain提供Model Context Protocol（MCP）工具调用支持，通过MCP工具包实现与AI模型的交互，如文件读取和摘要生成。
CLEO是一个为AI软件开发设计的便携式大脑与记忆系统，提供跨仓库、模型供应商和编码工具的项目记忆、可验证来源和代理安全编排。
Supabase MCP服务器是一个基于模型上下文协议（MCP）的工具，为AI助手提供与Supabase数据库交互的标准接口，支持增删改查等数据库操作。
TeslaMate MCP服务器是一个连接TeslaMate数据库的模型上下文协议服务器，为AI助手提供查询特斯拉车辆数据和分析的工具，包括车辆信息、驾驶统计、充电数据、电池健康和位置分析等功能。
MCP橡皮鸭是一个基于模型上下文协议（MCP）的服务器，作为桥梁查询多个兼容OpenAI的LLM。它像橡皮鸭调试法一样，允许用户向不同的AI“鸭子”解释问题并获得多元视角。支持多种AI提供商，提供对话管理、多模型比较、共识投票、辩论和迭代优化等高级工具，并可通过MCP桥接功能连接其他MCP服务器以扩展能力。
MCP2Lambda是一个将AWS Lambda函数作为大型语言模型(LLM)工具运行的MCP协议服务器，无需修改代码即可让AI模型调用Lambda函数访问私有资源和AWS服务。
GhidrAssistMCP是一个强大的Ghidra扩展，通过实现模型上下文协议(MCP)服务器，使AI助手和其他工具能够通过标准化API与Ghidra的反向工程功能交互。
GgufMultiple Languages%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)
Join Now
