InsurStaq 是一款运行在 Mac 上的私有 AI 安全工程师工具,主打将安全分析全部放在本机执行。它的核心定位是让开发者像攻击者一样看待自己的代码:先在本地扫描代码仓库,再把安全发现连接成攻击路径,帮助调查漏洞并准备可供审阅的修复方案。
【主要能力】 InsurStaq 的完整审计覆盖多个方面:
- 全仓库审计:梳理整个仓库中的框架、路由、数据库、认证与权限。
- 静态分析:检测注入、不安全 exec、弱加密、XSS、路径穿越等,分析深度取决于具体语言。
- 安全图与攻击路径:在支持范围内,从输入到危险汇点追踪授权、归属与数据流。
- 依赖、CVE 与 SBOM:按传递性与可达性排序,提供升级路径、组件清单与许可证风险。
- 密钥与 Git 历史:发现密钥和令牌,包括多年前提交的内容。
- 基础设施即代码:覆盖 Docker、Terraform、Kubernetes、云配置。
- InsurStaq Local:端侧 AI 解释发现、调查上下文并起草修复。
- 经审阅的修复:任何变更都需你批准后才会改动代码,随后在 Mac 上重新扫描变更文件。
- 报告与合规就绪度:提供面向管理层和技术的 PDF、HTML 或 Markdown 报告,映射到合规就绪度。
- Guard:针对工作树变更的安全差异检查,无论改动来自哪个编辑器或编码代理。
- 插件与模型选择:面向编码代理的可选插件;可选 AI 提供商或本机模型服务器。
- 离线与气隙环境:配合 InsurStaq Local 并在断网状态下执行完整审计;激活和模型下载需要一次联网。
【工作流程】 流程分为四步: 01 审计仓库:InsurStaq 梳理语言、框架、路由、认证和依赖,然后运行自有的代码、密钥、依赖和基础设施扫描器。分析深度取决于语言与框架。 02 追踪真正重要的部分:发现被连接进安全图,可沿着攻击者可控输入追踪到制造真实风险的代码,已确认发现与可能发现分开标记。 03 修复并重新扫描:InsurStaq 起草一个聚焦的修复方案供你审阅,在你批准前代码不会改变,随后变更文件会在 Mac 上重新扫描。 04 证明实际运行了什么:报告展示检查了什么、发现了什么、还有哪些需要人工核实,并映射到 SOC 2、OWASP ASVS、PCI DSS 和 ISO 27001 的就绪度。
【本地 AI 与隐私】 InsurStaq Local 随每个方案提供,可离线工作。安装并一次性下载模型后,模型在 Mac 上运行。需要 Apple 芯片,AI 功能建议 16 GB 内存。你也可以选择连接外部模型,但本地安全审阅并不需要。扫描、安全图和搜索索引都在 Mac 上运行;使用本地 AI 时模型推理也在本地。隐私账本会保留每次扫描的文件列表和每个网络调用。InsurStaq 不会将源码上传到其服务器;若你明确连接自己的 AI 提供商,任务和相关仓库上下文会直接从 Mac 发送给该提供商。
【Guard 与编码代理】 Guard 检查工作树中的变更是否引入新的安全回归,无论你是手动编辑还是使用 Claude Code、Cursor、Codex、Copilot 等编辑器或代理。它读取工作树本身,包括已暂存和未暂存的编辑、新文件、清单和锁文件;Xcode、VS Code、JetBrains 及手动编辑无需插件。Guard 只读,绝不编辑、提交或运行代码。如果所需引擎失败、扫描停止或基线缺失,Guard 会提示无法验证,而不是显示为干净。面向编码代理的插件公开在 GitHub:KarmSakha/insurstaq-plugins,每个插件启动本地 InsurStaq 服务器并仅返回安全元数据。
【攻击路径与问答】 InsurStaq 从代码映射攻击面,再沿安全图把弱点串联成攻击者可能采取的路径,从第一个公开请求一直到值得窃取的数据。攻击路径从代码本身追踪,而非攻击你线上或已部署的应用。你也可以就代码库提出尖锐问题,答案来自搜索安全图而非猜测,并指向证明它的路由、文件和行号。
【适用场景】 适合希望完整 InsurStaq 工作流的单个开发者,也适合工程与安全团队。官方提到可按团队策略、共享抑制、集中许可等使用,并提供组织级的 MDM 策略、SSO、离线许可、提供商策略和私有 AI 端点等选项。具体价格、方案细节请以官方页面为准。
【限制与边界】 需要 Apple 芯片,AI 功能建议 16 GB 内存。激活和模型下载需要一次联网,之后可离线或气隙运行。分析深度因语言和框架而异,干净的结果并不证明仓库没有漏洞。模型推断与扫描器、图发现保持分离,没有确定性证明就不会标记为已确认,模型不会认证代码是安全的。潜在示例(如 SSRF、SQL 注入)为说明性示例,非真实保证。插件名称仅为兼容性示例,不代表任何关联或背书。其他如公司注册、退款政策等以官方页面为准。