产品库

OpenAI发布模型行为规范，指导AI模型如何安全、有益地与用户互动。

OpenAI Model Spec是OpenAI发布的AI模型行为规范，旨在指导AI模型如何与用户安全、有益地互动。该规范详细阐述了模型在不同场景下的行为准则，包括如何处理敏感内容、如何避免生成有害信息、如何在法律和道德框架内提供帮助等。它强调了AI模型的透明性、可控性和安全性，确保模型能够为用户提供可靠、有益的工具，同时避免潜在风险。OpenAI通过这一规范展示了其对AI技术负责任的态度，为开发者和用户提供了明确的指导，推动AI技术的健康发展。

AI远程员工监控软件，提高安全性和生产力

wAnywhere是一款基于人工智能的远程员工监控和桌面时间跟踪软件，旨在提高安全性并提升生产力。它提供全面的功能和报告，包括自动时间跟踪、网站和应用程序使用情况、位置追踪等。同时，它还提供企业级视频会议和聊天功能，方便团队协作。wAnywhere适用于各种工作场景，可用于远程办公、灵活工作等。欢迎免费试用和获取演示。

检测设备是否能运行不同规模的 DeepSeek 模型，提供兼容性预测。

DeepSeek 模型兼容性检测是一个用于评估设备是否能够运行不同规模 DeepSeek 模型的工具。它通过检测设备的系统内存、显存等配置，结合模型的参数量、精度位数等信息，为用户提供模型运行的预测结果。该工具对于开发者和研究人员在选择合适的硬件资源以部署 DeepSeek 模型时具有重要意义，能够帮助他们提前了解设备的兼容性，避免因硬件不足而导致的运行问题。DeepSeek 模型本身是一种先进的深度学习模型，广泛应用于自然语言处理等领域，具有高效、准确的特点。通过该检测工具，用户可以更好地利用 DeepSeek 模型进行项目开发和研究。

AI Integrity解决方案，确保AI系统的安全性、合规性和性能

EQTY Lab与Intel和NVIDIA合作推出可验证计算（Verifiable Compute），旨在通过先进的密码学技术，确保AI系统的完整性，无论其部署在何处。该产品提供了一个端到端的AI完整性解决方案，包括认证系统、加速合规、最小化风险和构建价值。它通过绑定策略、认证血统和持续保证来优化AI供应链，帮助构建对系统安全性、合规性和性能的信任。

确保API的安全性、合规性和性能

API Governance提供一套规则，旨在强制执行标准化、合规性和最佳实践，贯穿API生命周期。

实时保护您的AI代理，阻止越狱和注入攻击，确保安全性。

grimly.ai是一款旨在保护AI代理免受越狱、注入攻击和滥用的产品。它为开发人员、安全团队和企业AI采用者量身打造，提供实时的保护。

AI代码审查工具，提升代码质量和安全

CodeAnt AI 是一款AI代码审查工具，旨在通过人工智能技术帮助开发人员提高代码审查的效率和准确性。它通过实时审查代码变更，扫描潜在的安全漏洞，并提供代码质量改进建议。CodeAnt AI 支持多种编程语言，能够自动修复问题，并集成到现有的版本控制系统中。产品背景信息显示，CodeAnt AI 得到了行业专家的认可，并且已经在多个高价值企业中得到应用，证明了其在提升开发效率和代码质量方面的重要性。产品定价为每月每位用户10美元，提供30天免费试用。

自动漏洞修补，提高代码安全性。

ZeroPath是一个自动化安全工具，旨在帮助开发者通过集成现有的静态应用程序安全测试(SAST)工具，自动验证和修复代码中的安全漏洞。它通过减少约95%的误报，简化了安全漏洞的识别和修复过程，提高了开发效率并确保了软件产品的安全性。该产品由一支经验丰富的团队开发，得到了业界的认可和支持。

为AI驱动的应用程序提供细粒度权限管理，确保安全性和合规性。

Permit.io AI Access Control 是一款专注于AI应用安全与权限管理的解决方案。它通过细粒度的权限控制，确保AI交互的每个阶段（从输入到输出）都符合安全策略，防止未经授权的输入、数据泄露和有害输出。该产品采用框架无关的技术，支持多种AI框架，并提供灵活的集成方式，可逐步扩展到任何AI技术栈中。Permit.io 的定位是为企业提供AI驱动应用的安全保障，帮助企业在享受AI带来的便利的同时，满足合规性要求。

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

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

FLUX模型的Cog推理引擎

Cog inference for flux models 是一个用于FLUX.1 [schnell] 和 FLUX.1 [dev] 模型的推理引擎，由Black Forest Labs开发。它支持编译与量化，敏感内容检查，以及img2img支持，旨在提高图像生成模型的性能和安全性。

增强 LLM 的可用性和安全性

Starling-7B 是一个由强化学习从 AI 反馈（RLAIF）训练的开放大型语言模型（LLM）。它通过我们的新 GPT-4 标记排序数据集 Nectar 和新的奖励训练和策略调优流程充分发挥了作用。Starling-7B 在使用 GPT-4 作为评委的 MT Bench 中得分为 8.09，在 MT-Bench 上超过了目前所有模型，除了 OpenAI 的 GPT-4 和 GPT-4 Turbo。我们在 HuggingFace 上发布了排名数据集 Nectar、奖励模型 Starling-RM-7B-alpha 和语言模型 Starling-LM-7B-alpha，以及 LMSYS Chatbot Arena 中的在线演示。请期待我们即将发布的代码和论文，其中将提供有关整个过程的更多详细信息。

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

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

智能AI模型，提供高效、低成本的智能服务。

Claude 3.5 Sonnet是Anthropic公司推出的一款AI模型，它在智能、速度和成本之间取得了显著的平衡。此模型在研究生级推理、本科生级知识以及编程熟练度方面设立了新的行业基准，特别擅长理解细微差别、幽默和复杂指令，并能以自然、亲切的语调撰写高质量内容。此外，它在视觉推理、图表解读和图像文字转录方面也表现出色，是零售、物流和金融服务等行业的理想选择。

GAIA-2 是一个先进的视频生成模型，用于创建安全的自动驾驶场景。

GAIA-2 是 Wayve 开发的先进视频生成模型，旨在为自动驾驶系统提供多样化和复杂的驾驶场景，以提高安全性和可靠性。该模型通过生成合成数据来解决依赖现实世界数据收集的限制，能够创建各种驾驶情境，包括常规和边缘案例。GAIA-2 支持多种地理和环境条件的模拟，帮助开发者在没有高昂成本的情况下快速测试和验证自动驾驶算法。

AI开发平台，提升效率与安全性

Verdi是由Mercado Libre推出的AI开发平台，使用GPT-4o等技术，旨在提高开发效率并简化复杂的任务处理。该平台通过集成语言模型、Python节点和API，为开发者提供了一个强大、可扩展的工作环境。Verdi的主要优点包括简化开发流程、提高任务处理的自动化程度、增强安全性和路由逻辑。Mercado Libre利用Verdi在客户服务、物流网络等领域实现了显著的效率提升和成本节约。

viAct.ai利用AI视觉技术优化施工安全、生产力和环境合规性。

viAct.ai是自动化的建筑管理软件/应用，利用计算机视觉和视频分析技术提供工作场所安全监控。其主要优点在于降低事故率、节约人力成本、无误差的进度追踪，可节省高额赔偿费用。

AI数据规范化工具

DataNormalizer是一款AI数据规范化工具，能够在几秒钟内利用人工智能进行数据规范化，清理数据中的不一致性。用户在注册时可获得200积分，免费处理100行数据。该产品定位于帮助用户轻松规范化数据，提高数据处理效率。

SUSE AI是为GenAI工作负载设计的安全可靠的企业级部署和运行平台。

SUSE AI是一个为企业级部署和运行任何生成性人工智能（GenAI）工作负载而设计的安全可靠的平台。它提供了零信任安全和可观测性，作为一个集成解决方案，SUSE AI是一个灵活且模块化的平台，提供了可扩展性。SUSE AI让您控制自己的AI解决方案，赋予选择和主权。SUSE AI的价值基于三个基础支柱：选择、安全和信任。这个结构让企业可以选择最适合它们的AI模型和使用方式。SUSE AI提供了工具，帮助企业满足合规要求，简化了复杂的监管环境。SUSE AI不仅是满足当前需求，更是为未来的AI投资提供保障。它是一个开放的企业AI基础设施平台，让您可以选择轻松集成新兴技术和模型。

AI + 安全双重赋能，助力企业数智化转型。

360 企业安全浏览器是面向企业用户的智能办公安全浏览器，通过结合 AI 技术和安全防护措施，旨在提升企业的工作效率与数据安全。该产品支持多平台使用（包括 Windows、macOS 和 Linux），并提供集中管理功能，适合各种规模的企业进行灵活部署。产品定位于提供全面的数据保护和灵活的管理策略，价格方面提供基础版、专业版和旗舰版等多种付费方案，满足不同企业需求。

AI驱动的高性能Windows PC

Copilot+ PC是微软最新推出的AI驱动的高性能Windows PC，具备强大的新硅芯片，能实现每秒超过40万亿次操作，全天候电池续航，以及访问最先进的AI模型。它能够让用户在PC上执行前所未有的任务，如通过Recall功能快速查找和回忆PC上的内容，使用Cocreator在设备上几乎实时生成和完善AI图像，以及通过Live Captions跨越语言障碍，将40多种语言的音频翻译成英语。

安全内容审核模型

ShieldGemma是由Google开发的一系列基于Gemma 2构建的安全内容审核模型，专注于四个危害类别（儿童不宜内容、危险内容、仇恨和骚扰）。它们是文本到文本的解码器仅大型语言模型，仅包含英文版本，具有开放权重，包括2B、9B和27B参数大小的模型。这些模型旨在作为负责任的生成AI工具包的一部分，提高AI应用的安全性。

获取可靠、快速、安全的专用主机服务，适用于企业增长和性能优化。

RedPro Host提供可靠、快速、安全的专用主机服务，旨在为企业提供增长和性能优化。具有99.99%的可用性保证，24/7支持，价格合理。

Skymel AI Assistant是您的个人AI梦之队，集成ChatGPT、Claude、Gemini等AI模型，为您提供全方位智能服务。

Skymel AI Assistant是一款集成了ChatGPT、Claude、Gemini等AI模型的智能助手，提供多模型协同工作的服务。其主要优点包括高度智能化、实时协同、多功能性和高安全性。Skymel AI Assistant的背景信息是由Skymel提供的安全AI网关，定位于提供用户优化的AI体验。

朱雀大模型检测，精准识别AI生成图像，助力内容真实性鉴别。

朱雀大模型检测是腾讯推出的一款AI检测工具，主要功能是检测图片是否由AI模型生成。它经过大量自然图片和生成图片的训练，涵盖摄影、艺术、绘画等内容，可检测多类主流文生图模型生成图片。该产品具有高精度检测、快速响应等优点，对于维护内容真实性、打击虚假信息传播具有重要意义。目前暂未明确其具体价格，但从功能来看，主要面向需要进行内容审核、鉴别真伪的机构和个人，如媒体、艺术机构等。

用户友好的Web数据库客户端，简化数据库访问，保障数据安全。

hoop.dev是一个现代的、基于Web的数据库客户端，旨在简化数据库访问流程，同时不牺牲安全性。它通过AI数据掩码技术保护个人可识别信息，支持从浏览器即时登录访问数据库，无需安装等待。此外，它还提供实时更新和Slack集成，确保团队成员间的信息同步和安全。hoop.dev支持将脚本转化为无代码应用，通过链接Git仓库、嵌入变量来实现。它还提供了多种快速启动选项，如Kubernetes、Docker、Unix等，适用于金融科技、健康科技等高度监管的行业。

突破大型语言模型限制的自动化框架

AutoDAN-Turbo是一个自动化的、无需人为干预的框架，旨在自动发现并实施多种策略，以突破大型语言模型（LLMs）的限制。该框架能够自动开发出多样的攻击策略，显著提高了攻击成功率，并且可以作为一个统一的框架整合现有的人为设计的越狱策略。AutoDAN-Turbo的重要性在于其能够提升LLMs在对抗环境中的安全性和可靠性，为红队评估工具提供了一种新的自动化方法。

轻量级、多语言的AI模型，支持长文本生成和推理。

Phi-3.5-MoE-instruct是由微软开发的轻量级、多语言的AI模型，基于高质量、推理密集型数据构建，支持128K的上下文长度。该模型经过严格的增强过程，包括监督式微调、近端策略优化和直接偏好优化，以确保精确的指令遵循和强大的安全措施。它旨在加速语言和多模态模型的研究，作为生成性AI功能的构建模块。

为代理商提供安全的支付代理服务

Walle 是一个为代理商设计的支付代理服务，它允许代理商在不存储卡信息的情况下进行购买。该服务通过代理支付请求，为代理商提供在线交易的工具，支持一次性保存卡信息、控制消费金额、OTP确认、阻止和监控活动等功能。Walle 的目标是提高代理商的生产力，通过提供安全、便捷的支付解决方案，帮助企业更好地管理财务流程。

Gen AI Toolbox for Databases 是一个开源服务器，用于简化与数据库交互的 Gen AI 工具的开发。

Gen AI Toolbox for Databases 是一个开源工具，旨在帮助开发者更轻松、快速且安全地构建与数据库交互的生成式 AI 工具。它通过处理连接池、身份验证等复杂性，简化了工具的开发和部署过程。该工具支持多种数据库，包括 AlloyDB、Cloud SQL、MySQL、PostgreSQL 等，并提供端到端的可观测性支持，如 OpenTelemetry 集成。它适用于需要高效开发和安全访问数据库的应用场景，目前是免费开源的。