产品库

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

增强 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 中的在线演示。请期待我们即将发布的代码和论文，其中将提供有关整个过程的更多详细信息。

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

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

为产品和工程团队提供嵌入式分析解决方案，包括交互式仪表板、自助报告、Explo AI和企业级安全性。

Explo是一款嵌入式分析解决方案，为产品和工程团队提供交互式仪表板、自助报告、Explo AI和企业级安全性。其主要优点包括节省开发时间、定制性强、提供快速实施和长期合作支持。

FLUX模型的Cog推理引擎

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

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

AgentSphere是一个AI本地云基础设施，用于安全的LLM代码执行。

AgentSphere是专为AI代理设计的云基础设施，提供安全的代码执行和文件处理，支持各种AI工作流。其内置功能包括AI数据分析、生成数据可视化、安全虚拟桌面代理等，旨在支持复杂工作流程、DevOps集成和LLM评估与微调。

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基础设施平台，让您可以选择轻松集成新兴技术和模型。

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

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

AI驱动的高性能Windows PC

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

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

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

安全内容审核模型

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

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

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

Kiro AI是一款革命性的AI驱动IDE，通过规范驱动开发、智能代理和无缝生产部署，将编码从概念转化为生产。

Kiro AI是一款创新的集成开发环境，通过规范驱动开发，将开发人员构建软件的方式进行转变。不同于传统的编码工具，Kiro AI利用规范驱动开发将您的想法转化为结构化需求、系统设计和生产就绪代码。建立在开源VS Code基础之上，由AWS Bedrock的Claude模型提供支持，Kiro AI弥合了快速原型设计和可维护生产系统之间的差距。

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

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

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

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

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

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