斯坦福大学与Arc研究所团队用基因组语言模型Evo生成约70万候选序列，合成285个，其中16个经实验验证为可复制、感染并杀死大肠杆菌的噬菌体。该研究8月6日刊于《科学》，标志AI生成生物学从单蛋白/基因设计迈向完整病毒基因组从头设计，模型仅输出DNA序列。
商汤科技面向社区开源轻量统一多模态模型SenseNova U1.5-Lite-Preview。该模型基于U1系统性迭代，在单一架构中融合视觉理解、推理、生成与编辑四大能力，仅以8B-MoE参数即支持4K分辨率、更真实质感与复杂视觉控制。商汤称U1验证了统一架构可行性，U1.5则实现了轻量高性能的突破。
OpenAI新模型Astra以数学领域的惊艳表现引发热议，但学者Gary Marcus批评外界追捧犯了"合成谬误"，过分吹捧其通用性。他指出，AI在数学成功并非偶然，关键在于数学可借助符号工具轻松验证，并能低成本生成大批量正确合成数据。这种突破仅局限于特定领域，不应过度外推其适用范围。
Runway推出Media Router，可依据质量、速度与成本优先级，为图像、视频、音频生成自动切换AI模型。系统将调用场景分为三类，如高速生成模式用于快速创意验证，实现智能匹配，省去开发者逐一比较和手动切换的负担，兼顾效率与成本。
粘贴Figma链接，AI生成、验证并修正代码，使界面与设计一致。
即时验证文本的真实性，检测 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
$6
$24
256
Baidu
128
Bytedance
$1.2
$3.6
4
$2
stablellama
这是一个基于Qwen/Qwen-Image模型的LyCORIS适配器，专门用于文本到图像和图像到图像的生成任务。该模型在训练过程中未使用验证提示，采用了优化的训练配置和量化技术。
prithivMLmods
Fathom-DeepResearch是一个双模型智能系统，由Fathom-Search-4B和Fathom-Synthesizer-4B组成，针对长时程网络搜索、证据验证以及生成引用丰富的报告进行了优化。该系统在搜索密集型任务中达到了开源权重的最优性能，超越了多个闭源的深度研究智能体。
kathywu95
这是一个基于DeepSeek-V3架构的随机权重生成模型，专门用于测试和开发目的。模型使用随机初始化的权重，参数规模经过精简，适合快速原型开发和功能验证。
MBZUAI-Paris
Frugal-Math-4B是一款针对数学推理优化的4B参数语言模型，通过强化学习验证奖励（RLVR）方法训练，能够在保持高准确性的同时生成简洁、可验证的数学解决方案，显著减少推理冗长性。
gtmepm
simpletuner-lora 是一个基于 stabilityai/stable-diffusion-3.5-medium 的 LyCORIS 适配器，专门用于文生图等图像生成任务。该模型通过 LoRA 微调技术实现，主要使用验证提示为'A photo-realistic image of a cat'进行训练。
nightmedia
Qwen3-Next-80B-A3B-Instruct-q2-mlx是基于Qwen3-Next-80B-A3B-Instruct模型转换的MLX格式极端量化版本，主要用于文本生成任务。该版本采用q2量化，模型大小约为23GB，作为概念验证版本，可能存在重复和幻觉问题。
mradermacher
这是Veri - Code/ReForm - SFT - 1.5B模型的静态量化版本，专为代码生成、强化学习和形式验证等任务优化，提供多种量化类型选择，显著提升推理效率。
Goedel-LM
哥德尔证明器V2是一个开源语言模型系列，在自动形式证明生成方面树立了新的标杆。它基于专家迭代和强化学习流程构建，融入了脚手架数据合成、验证器引导的自我修正和模型平均三项关键创新，显著提升了证明定理的能力和效率。
sriprabha
这是一个基于FLUX.1-schnell的LyCORIS适配器，专门用于文本到图像生成任务。该模型通过LoRA技术进行微调，在训练过程中未使用验证提示，文本编码器未进行训练，可复用基础模型的文本编码器进行推理。
DeepSeek-R1-Llama-8B-F32-GGUF 是 DeepSeek-R1-Distill-Llama-8B 的量化版本，采用强化学习直接训练，具备自我验证、反思和生成扩展思维链等能力。
launch
ThinkPRM-7B是一款基于R1-Distill-Qwen-7B架构的生成式过程奖励模型，专门用于对推理过程进行逐步验证。它通过生成明确的验证思维链来评估数学解题、代码生成等推理任务的每一步正确性，具有数据效率高、可解释性强的特点。
ThinkPRM-1.5B是基于R1-Distill-Qwen-1.5B架构的生成式过程奖励模型，能够通过生成验证思维链对推理过程进行逐步验证。
TEEN-D
基于Llama-3.2-3B-Instruct微调的声明验证模型，专门用于检测AI生成文本中的幻觉或未支持的陈述。
NorGLM
这是一个基于NorBERT微调的预训练分类器，专门用于事实验证任务，能够判断给定上下文是否蕴含生成的文本内容。
unity
基于Unity Sentis验证的Meta MusicGen模型，可根据文本提示生成最长30秒的风格化音乐。
line-corporation
由LINE Corporation开发的36亿参数日语语言模型，基于GPTNeoX架构，支持日语文本生成任务，训练数据约650GB，在日语C4验证集上困惑度为7.50
由LINE株式会社开发的17亿参数日语语言模型，基于GPT-2架构，专门针对日语文本生成任务进行训练。模型在约650GB的日语语料上训练，在日语C4验证集上达到8.57的困惑度。
Maykeye
首个基于Llama架构重构的TinyStories-1M版本，专为生成儿童故事设计的概念验证模型
SirBadr
该模型用于区分原始图像和AI生成的图像，适用于内容真实性验证和数字媒体分析。
umm-maybe
使用ViT模型预测艺术图像是否由AI生成的概念验证演示
Security Detections MCP 是一个基于Model Context Protocol的服务器，允许LLM查询统一的安全检测规则数据库，涵盖Sigma、Splunk ESCU、Elastic和KQL格式。最新3.0版本升级为自主检测工程平台，可自动从威胁情报中提取TTPs、分析覆盖差距、生成SIEM原生格式检测规则、运行测试并验证。项目包含71+工具、11个预构建工作流提示和知识图谱系统，支持多SIEM平台。
Snowfakery MCP服务器是一个将Snowfakery数据生成工具与AI助手（如Claude、ChatGPT）连接起来的MCP服务，允许用户通过AI辅助编写、验证、执行和调试数据生成配方，特别适用于生成测试数据和Salesforce映射。
MCP Cases是基于Model Context Protocol的多功能格式，用于自动化测试、服务器模拟、协议验证及文档生成。
Artemis MCP是一个加密货币数据分析工具，提供API连接验证、数据获取和公式生成功能，支持Python 3.11+和uv环境。
一个MCP服务器，通过GraphQL模式自省自动生成AI工具，支持参数验证和双传输模式，使AI工具能够可靠地访问GraphQL API。
一个基于MCP协议的比特币与闪电网络交互服务器，支持密钥生成、地址验证、交易解码等功能。
Payload CMS 3.0 MCP服务器是一个专为Payload CMS开发设计的模型上下文协议服务器，提供代码验证、模板生成和项目脚手架功能，帮助开发者遵循最佳实践构建应用。
一个基于circom的零知识证明模型上下文协议(MCP)服务器，提供电路构建、可信设置、证明生成与验证功能。
MCP as a Judge 是一个行为型 MCP 服务器，作为 AI 编码助手与 LLM 之间的验证层，通过强制执行基于证据的研究、代码质量审查和人工决策介入，确保生成更安全、高质量的代码。
PuchAI Hackathon项目提供多种工具集，包括Reddit内容分析、数据可视化图表生成、药品信息查询、用户偏好管理及任务管理功能，支持开发者快速验证市场假设和分析用户需求。
Payload CMS 3.0 MCP服务器是一个专为Payload CMS设计的模型上下文协议服务器，提供代码验证、模板生成和项目脚手架功能，帮助开发者遵循最佳实践构建应用。
一个用于TradingView PineScript的MCP服务器，提供代码验证、错误修复和模板生成功能。
Tyler Forge™ MCP服务器为AI工具提供Tyler Technologies网页组件库的即时文档访问，支持组件查询、代码生成、API验证和设计系统使用。
移动端自动化MCP服务，为Cursor AI提供Android/iOS设备控制能力，支持39个操作工具、智能验证、测试脚本生成等功能，无需AI密钥即可使用。
MCP服务器测试工具是一个配置驱动的测试解决方案，用于验证、基准测试和确保与AI模型集成的MCP服务器的可靠性。它支持自动发现工具、生成智能测试用例、执行验证并生成详细报告。
Minibridge是一个后端到前端的桥梁工具，用于简化和保护代理与MCP服务器之间的通信。它安全地将MCP服务器暴露到互联网，并可集成策略服务进行认证、内容分析和转换。支持SBOM生成验证、OTEL遥测，并提供TLS加密、监控和跟踪功能。
该项目展示了针对AI工作流程的MCP投毒攻击，包含多种攻击场景的验证，如代码生成污染、财务数据泄露等，用于教育研究目的。
一个基于MCP协议的PRD生成与验证服务
一个基于MCP协议的专业PRD生成服务器，提供产品需求文档的创建、验证和模板管理功能
Workers MCP Server是一个概念验证项目，通过Cloudflare Worker实现Model Context Protocol (MCP)服务器，使Claude Desktop等MCP客户端能够调用Cloudflare Worker的RPC功能来扩展其能力。项目提供了文档生成、本地代理和远程调用等功能，支持开发者快速构建和部署MCP服务。
%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)
'%3e%3cpath%20d='M55.2622%2038L48.2289%2022L44.1206%2031.3333H47.2539L45.7872%2034.6667H38.7622L46.0956%2018H37.6706C36.7539%2018%2036.0039%2018.75%2036.0039%2019.6667V36.3333C36.0039%2037.25%2036.7539%2038%2037.6706%2038H55.2622Z'%20fill='white'/%3e%3cpath%20d='M64.3368%2018H50.3535L59.1535%2038H64.3368C65.2535%2038%2066.0035%2037.25%2066.0035%2036.3333V19.6667C66.0035%2018.75%2065.2535%2018%2064.3368%2018ZM63.0868%2034.6667H59.7535V21.3333H63.0868V34.6667Z'%20fill='%23FFCC66'/%3e%3cpath%20d='M89.3379%2026.75V29.25H81.8379V36.75H91.8379V24.25H81.8379V26.75H89.3379ZM84.3379%2034.25V31.75H89.3379V34.25H84.3379Z'%20fill='white'/%3e%3cpath%20d='M103.504%2036.75V29.25H96.0039V26.75H103.504V24.25H93.5039V31.75H101.004V34.25H93.5039V36.75H103.504Z'%20fill='white'/%3e%3cpath%20d='M115.17%2026.75V24.25H105.17V36.75H115.17V34.25H107.67V31.75H115.17V29.25H107.67V26.75H115.17Z'%20fill='white'/%3e%3cpath%20d='M80.1712%2029.25V29.175L78.9962%2028L80.1712%2026.825V20.425L78.9962%2019.25H69.3379V36.75H78.9962L80.1712%2035.575V29.25ZM77.6712%2034.25H71.8379V29.25H77.6712V34.25ZM77.6712%2026.75H71.8379V21.75H77.6712V26.75Z'%20fill='white'/%3e%3c/g%3e%3cg%20clip-path='url(%23clip1_644_3948)'%3e%3cpath%20d='M169.59%2022.9827L169.59%2023.6491H177.409L168.175%2032.8822L169.118%2033.8248L178.351%2024.5917L178.352%2032.4106H179.685V22.3164L179.018%2022.3157H169.59V22.9827Z'%20fill='white'/%3e%3c/g%3e%3cdefs%3e%3cclipPath%20id='clip0_644_3948'%3e%3crect%20width='80'%20height='20'%20fill='white'%20transform='translate(36%2018)'/%3e%3c/clipPath%3e%3cclipPath%20id='clip1_644_3948'%3e%3crect%20width='20'%20height='20'%20fill='white'%20transform='translate(164%2018)'/%3e%3c/clipPath%3e%3c/defs%3e%3c/svg%3e)
