Skylos是一个隐私优先的混合静态分析工具，专为Python、TypeScript和Go设计。它擅长检测死代码、SQL注入和硬编码秘密等关键安全漏洞以及各种代码质量问题，结合了传统静态分析与先进的AI代理能力。

skylos 是开源的吗？

是的，采用 NOASSERTION 许可证。

skylos: … (★ 444, NOASSERTION)

01结合AI代理的混合静态分析: 将传统静态分析与可选的本地/云大语言模型相结合，以消除误报并发现深层逻辑错误。

02全面的代码审计: 跨多语言检测死代码、安全漏洞（SAST，包括SQL注入、SSRF、秘密）和代码质量问题（复杂性、嵌套）。

03自动化修复与CI/CD集成: 提供通过AI代理实现的自动化修复和端到端补救，并无缝集成到CI/CD管道中，用于PR保护、注释和质量门。

04多语言支持与隐私优先: 支持Python、TypeScript和Go，并提供100%本地分析选项，确保代码隐私。

Python

语言

已通过文档验证

TypeScript

语言

已通过文档验证

语言

已通过文档验证

GitHub Actions

持续集成/部署

已通过文档验证

VS Code

IDE扩展

已通过文档验证

Ollama

本地大模型

已通过文档验证

$ pip install skylos

↳在CI/CD中自动化代码质量: 将Skylos集成到GitHub Actions中，在每次拉取请求时自动检测死代码、安全漏洞和质量问题，并在发现关键问题时使构建失败。

↳深度审计Python、TypeScript和Go应用程序的安全性: 对多语言代码库执行全面的SAST，包括污染分析、秘密检测和漏洞检查。

↳智能死代码消除与代码库优化: 准确识别并安全移除无法访问的函数、类和未使用的导入，利用混合分析区分真正的死代码与框架动态特性。

↳AI辅助代码修复和PR审查: 利用AI代理进行上下文感知的审计、自动化修复和端到端补救，包括生成和验证修复，以及发布内联PR审查评论。