SkillFortify
Visit WebsiteAI安全 / Agent供应链安全 / 开发者工具
Description
面向AI代理/Agent技能与工具的形式化验证安全扫描器，可零配置自动发现系统内AI工具与技能，验证“技能声明的能力”与“实际可执行能力”是否一致，以降低供应链与恶意技能风险；提供scan/verify/lock/sbom/registry-scan等CLI能力并生成安全报告。
Added to Database
March 1, 2026
Notes
用形式化验证替代启发式规则扫描，主打“可证明的安全边界”来应对未知/新型攻击；覆盖多种主流Agent框架并支持自动发现，适合企业落地代理工具链安全治理。