产品库

自我提升的安全 LLM

Automorphic 是一个安全、自我提升的语言模型平台。它使用 fine-tuning 技术将知识注入语言模型，绕过上下文窗口的限制。您可以训练适配器以实现特定行为或知识，并在运行时动态组合和切换它们。同时，Automorphic 提供人机交互反馈，以快速迭代模型，并将其投入生产环境。您还可以使用 Automorphic Hub 上的公开模型进行推理。

智能AI代码审查，可消除高达95%的错误、安全问题和漏洞。

Matter AI 是一款工程智能平台，可加速代码审查，帮助团队在Pull Requests中消除高达95%的错误、安全问题和漏洞。该产品的主要优点包括快速发现漏洞、提高代码质量、减少审查周期等。Matter AI的背景信息包括被工程团队信任，广泛应用于提高代码质量。

一个社区驱动的深度研究框架，结合语言模型与多种工具。

DeerFlow 是一个深度研究框架，旨在结合语言模型与如网页搜索、爬虫及 Python 执行等专用工具，以推动深入研究工作。该项目源于开源社区，强调贡献回馈，具备多种灵活的功能，适合各类研究需求。

一体化认证和安全解决方案，帮助企业构建强大的身份验证系统。

Stytch是一个集成认证和安全性的平台，为应用程序提供一体化解决方案。它能够实现企业级认证、授权和安全性，保障应用程序免受威胁。

安全文件传输和数据保护解决方案，为初创创始人、个体经营者和小型企业所有者提供服务。

Phalanx提供安全的文件传输和数据保护，适用于初创企业和小型企业，主要优点包括强大的加密技术、易用性和灵活的定价策略。Phalanx定位于为用户提供安全可靠的数据交换环境，以保护他们的机密信息和业务数据。

LockChain提供安全的数字身份验证和基于区块链的身份验证，确保您的内容和身份安全。

LockChain利用先进的数字身份验证确保您的数字内容和身份安全。采用区块链技术创建可验证的QR码，保护您的品牌，并通过确保内容真实性和防篡改来建立与受众的信任。

提供全球CDN、安全性服务，保障网站稳定运行。

Cloudflare是一家全球知名的云服务提供商，致力于为网站提供CDN加速、防护、DNS解析等服务，其优点在于全球分布式网络、强大的安全防护和高效的内容分发。

您的 MCP 服务器安全扫描器，扫描常见漏洞，确保数据和代理安全。

mccan.ai 是一款专注于 Model Context Protocol (MCP) 服务器的安全扫描工具。它能够检测 MCP 服务器中的各种安全漏洞，确保大型语言模型（LLM）与外部工具的交互。该产品致力于帮助开发者识别和修复潜在的安全风险，从而保护敏感数据和系统免受攻击。mcpscan.ai 的核心价值在于其专门针对 MCP 实施的安全扫描，提供实时监控和详细的漏洞分析，为用户的安全部署提供支持。

一个高效的强化学习框架，用于训练推理和搜索引擎调用的语言模型。

Search-R1 是一个强化学习框架，旨在训练能够进行推理和调用搜索引擎的语言模型（LLMs）。它基于 veRL 构建，支持多种强化学习方法和不同的 LLM 架构，使得在工具增强的推理研究和开发中具备高效性和可扩展性。

一份综合性的 MCP 基础 AI 工具安全检查清单。

MCP 安全检查表是由 SlowMist 团队编制和维护的，旨在帮助开发者识别和减轻 MCP 实施过程中的安全风险。随着基于 MCP 标准的 AI 工具迅速发展，安全问题愈发重要。该检查表提供了详尽的安全指导，涵盖 MCP 服务器、客户端及多种场景的安全需求，以保护用户隐私并提升整体系统的稳定性和可控性。

一个插件化网关，旨在优化 AI 基础设施的管理和安全。

MCP Gateway 是一个高级的中介解决方案，用于管理和增强模型上下文协议（MCP）服务器。它作为大型语言模型（LLM）与其他 MCP 服务器之间的中介，具备配置管理、请求响应拦截和统一接口等功能，能够保护敏感信息，确保安全且高效的 AI 服务。

MCP-Scan 是一个针对 MCP 服务器的安全扫描工具。

MCP-Scan 是一款专门为 MCP 服务器设计的安全扫描工具，能够检测常见的安全漏洞，如提示注入和工具中毒。它通过检查配置文件和工具描述，帮助用户确保系统的安全性，适用于各种开发者和系统管理员，是维护系统安全的重要工具。

一款高效的推理与聊天大语言模型。

Llama-3.1-Nemotron-Ultra-253B-v1 是一个基于 Llama-3.1-405B-Instruct 的大型语言模型，经过多阶段的后训练以提升推理和聊天能力。该模型支持高达 128K 的上下文长度，具备较好的准确性和效率平衡，适用于商业用途，旨在为开发者提供强大的 AI 助手功能。

多模型聊天界面，轻松添加模型开始对话。

openrouter 是一个创新的多模型聊天界面，允许用户在浏览器中轻松与不同的语言模型进行交互。它通过简单的界面使得聊天变得更加直观和有趣，适合各种用户需求，包括角色扮演、编程辅助等。该产品存储数据在本地，确保用户的隐私和数据安全。由于它是一个网页应用，用户无需安装任何软件，即可随时随地访问，提升了使用的便捷性和灵活性。

通过强化学习驱动的金融推理大模型。

Fin-R1 是一个专为金融领域设计的大型语言模型，旨在提升金融推理能力。由上海财经大学和财跃星辰联合研发，基于 Qwen2.5-7B-Instruct 进行微调和强化学习，具有高效的金融推理能力，适用于银行、证券等核心金融场景。该模型免费开源，便于用户使用和改进。

为 AI 经济提供安全的支付基础设施。

Fewsats 是一款为 AI 代理提供支付解决方案的平台，使其能够在不直接访问财务凭证的情况下请求支付。用户始终掌控支付过程，确保安全性和灵活性。该平台支持多种支付方式，包括传统银行转账、信用卡，为 AI 经济的发展提供了极大的便利和灵活性。

AI21推出的Jamba 1.6模型，专为企业私有部署设计，具备卓越的长文本处理能力。

Jamba 1.6 是 AI21 推出的最新语言模型，专为企业私有部署而设计。它在长文本处理方面表现出色，能够处理长达 256K 的上下文窗口，采用混合 SSM-Transformer 架构，可高效准确地处理长文本问答任务。该模型在质量上超越了 Mistral、Meta 和 Cohere 等同类模型，同时支持灵活的部署方式，包括在本地或 VPC 中私有部署，确保数据安全。它为企业提供了一种无需在数据安全和模型质量之间妥协的解决方案，适用于需要处理大量数据和长文本的场景，如研发、法律和金融分析等。目前，Jamba 1.6 已在多个企业中得到应用，如 Fnac 使用其进行数据分类，Educa Edtech 利用其构建个性化聊天机器人等。

Inception Labs 推出新一代扩散式大语言模型，提供极速、高效和高质量的语言生成能力。

Inception Labs 是一家专注于开发扩散式大语言模型（dLLMs）的公司。其技术灵感来源于先进的图像和视频生成系统，如 Midjourney 和 Sora。通过扩散模型，Inception Labs 提供了比传统自回归模型快 5-10 倍的速度、更高的效率和更强的生成控制能力。其模型支持并行文本生成，能够纠正错误和幻觉，适合多模态任务，并且在推理和结构化数据生成方面表现出色。公司由斯坦福、UCLA 和康奈尔大学的研究人员和工程师组成，是扩散模型领域的先驱。

OpenManus 是一个无需邀请码即可使用的开源智能代理项目。

OpenManus 是一个开源的智能代理项目，旨在通过开源的方式实现类似于 Manus 的功能，但无需邀请码即可使用。该项目由多个开发者共同开发，基于强大的语言模型和灵活的插件系统，能够快速实现各种复杂的任务。OpenManus 的主要优点是开源、免费且易于扩展，适合开发者和研究人员进行二次开发和研究。项目背景源于对现有智能代理工具的改进需求，目标是打造一个完全开放且易于使用的智能代理平台。

Instella 是由 AMD 开发的高性能开源语言模型，专为加速开源语言模型的发展而设计。

Instella 是由 AMD GenAI 团队开发的一系列高性能开源语言模型，基于 AMD Instinct™ MI300X GPU 训练而成。该模型在性能上显著优于同尺寸的其他开源语言模型，并且在功能上与 Llama-3.2-3B 和 Qwen2.5-3B 等模型相媲美。Instella 提供模型权重、训练代码和训练数据，旨在推动开源语言模型的发展。其主要优点包括高性能、开源开放以及对 AMD 硬件的优化支持。

OpenAI推出的最新语言模型GPT-4.5，专注于提升无监督学习能力，提供更自然的交互体验。

GPT-4.5是OpenAI发布的最新语言模型，代表了当前无监督学习技术的前沿水平。该模型通过大规模计算和数据训练，提升了对世界知识的理解和模式识别能力，减少了幻觉现象，能够更自然地与人类进行交互。它在写作、编程、解决问题等任务上表现出色，尤其适合需要高创造力和情感理解的场景。GPT-4.5目前处于研究预览阶段，面向Pro用户和开发者开放，旨在探索其潜在能力。

Gemini 2.0 Flash-Lite 是高效的语言模型，专为长文本处理和多种应用场景优化。

Gemini 2.0 Flash-Lite 是 Google 推出的高效语言模型，专为长文本处理和复杂任务优化。它在推理、多模态、数学和事实性基准测试中表现出色，具备简化的价格策略，使得百万级上下文窗口更加经济实惠。Gemini 2.0 Flash-Lite 已在 Google AI Studio 和 Vertex AI 中全面开放，适合企业级生产使用。

Phi-4-mini-instruct 是一款轻量级的开源语言模型，专注于高质量推理密集型数据。

Phi-4-mini-instruct 是微软推出的一款轻量级开源语言模型，属于 Phi-4 模型家族。它基于合成数据和经过筛选的公开网站数据进行训练，专注于高质量、推理密集型数据。该模型支持 128K 令牌上下文长度，并通过监督微调和直接偏好优化来增强指令遵循能力和安全性。Phi-4-mini-instruct 在多语言支持、推理能力（尤其是数学和逻辑推理）以及低延迟场景下表现出色，适用于资源受限的环境。该模型于 2025 年 2 月发布，支持多种语言，包括英语、中文、日语等。

一个通过 AI 自动化网页任务、将网页转化为结构化数据并集成工具的产品。

rtrvr.ai 是一款强大的 AI 驱动的网页自动化工具，它能够帮助用户简化复杂的网页浏览和数据提取过程。通过自然语言命令，用户可以轻松地在网页上进行导航，无需手动点击和滚动。此外，它还能将网页内容转化为结构化数据，方便用户构建自定义数据管道。其功能调用特性允许用户直接在浏览器中与各种工具集成，执行任务。该产品在隐私和安全方面表现出色，采用有限权限和沙盒执行等设计，确保用户数据安全。目前，rtrvr.ai 的具体价格未明确，但从其功能和定位来看，它主要面向需要高效处理网页数据和自动化任务的用户。

Deep research 是一种新型的网络研究能力，可执行多步骤复杂任务的互联网研究。

Deep research 是由 OpenAI 开发的一种新型模型能力，专注于通过互联网进行多步骤复杂任务的研究。它基于 OpenAI o3 的早期版本优化而成，能够通过推理搜索、解读和分析大量文本、图像和 PDF 文件，并根据遇到的信息灵活调整策略。该模型还可以读取用户提供的文件，并通过编写和执行 Python 代码来分析数据。Deep research 的主要优点包括强大的推理能力和对复杂任务的高效处理能力，适用于需要深入研究和分析的场景。其背景是 OpenAI 在人工智能领域的持续创新，旨在为用户提供更强大的工具来解决复杂的现实问题。目前，该模型主要面向 Pro 用户，价格和具体定位尚未明确。

DeepSeek 是一款先进的 AI 语言模型，擅长逻辑推理、数学和编程任务，提供免费使用。

DeepSeek 是由 High-Flyer 基金支持的中国 AI 实验室开发的先进语言模型，专注于开源模型和创新训练方法。其 R1 系列模型在逻辑推理和问题解决方面表现出色，采用强化学习和混合专家框架优化性能，以低成本实现高效训练。DeepSeek 的开源策略推动了社区创新，同时引发了关于 AI 竞争和开源模型影响力的行业讨论。其免费且无需注册的使用方式进一步降低了用户门槛，适合广泛的应用场景。

Fleet AI Copilot 是一款基于 AI 的智能 IT 管理助手，旨在简化和优化企业的 IT 运营。

Fleet AI Copilot 是一款专为企业设计的智能 IT 管理工具，通过集成 OpenAI 技术，提供高效、安全的 IT 确理解决方案。它能够自动化处理重复性任务，释放 IT 团队的时间，专注于更具战略性的任务。其主要优点包括高度的安全性、简化的入职流程、个性化支持以及与多种工具和服务的无缝集成。产品采用订阅模式，适合需要优化 IT 管理流程的企业。

一种通过文本迷宫解决任务来增强大型语言模型视觉推理能力的创新方法

AlphaMaze 是一个专注于提升大型语言模型（LLM）视觉推理能力的项目。它通过文本形式描述的迷宫任务来训练模型，使其能够理解和规划空间结构。这种方法不仅避免了复杂的图像处理，还通过文本描述直接评估模型的空间理解能力。其主要优点是能够揭示模型如何思考空间问题，而不仅仅是能否解决问题。该模型基于开源框架，旨在推动语言模型在视觉推理领域的研究和发展。

AlphaMaze 是一款专注于视觉推理任务的解码器语言模型，旨在解决传统语言模型在视觉任务上的不足。

AlphaMaze 是一款专为解决视觉推理任务而设计的解码器语言模型。它通过针对迷宫解谜任务的训练，展示了语言模型在视觉推理方面的潜力。该模型基于 15 亿参数的 Qwen 模型构建，并通过监督微调（SFT）和强化学习（RL）进行训练。其主要优点在于能够将视觉任务转化为文本格式进行推理，从而弥补传统语言模型在空间理解上的不足。该模型的开发背景是提升 AI 在视觉任务上的表现，尤其是在需要逐步推理的场景中。目前，AlphaMaze 作为研究项目，暂未明确其商业化定价和市场定位。

通过Model Context Protocol服务器扩展语言模型的能力。

Smithery是一个基于Model Context Protocol的平台，允许用户通过连接各种服务器来扩展语言模型的功能。它为用户提供了一个灵活的工具集，能够根据需求动态增强语言模型的能力，从而更好地完成各种任务。该平台的核心优势在于其模块化和可扩展性，用户可以根据自己的需求选择合适的服务器进行集成。