skylos
Open-source, local-first static analysis and PR gates for Python, TypeScript/JavaScript, Go, Java, Kotlin, PHP, Rust, Dart, C#, and Shell. Finds dead code, security issues, secrets, quality regressions, and AI-code mistakes.
Decision gist · record as of 2026-08-14
Yes. Skylos is actively maintained (5 days since last release), supports modern Python versions (3.10–3.13), carries no known vulnerabilities, and solves a real problem—detecting dead code and AI-generated mistakes before merge—across 12 languages in a single tool. Low install friction and permissive licensing make it a low-risk addition to a development workflow. Install it if you need multi-language static analysis, AI-code verification, or a unified security gate; the 19 dependencies are justified by broad language support and polished CLI experience.AI-flagged interpretation of the facts on this page — verify before relying
Before you install
- Requires Python 3.10 or later.
- Tree-sitter language parsers are vendored; no system compilation needed, but initial run downloads language grammars.
- Low install friction with a pure-Python wheel.
License · maintenance · safety
Apache-2.0 (permissive) — Apache-2.0 permissive license allows commercial and private use, modification, and distribution with minimal restrictions—suitable for most development workflows.
last release 2026-08-09 (5 days) · last repo commit 2026-08-14 · 537 stars
0 known vulnerabilities (OSV.dev, 2026-08-14) · 173,735 downloads/mo, #10,299 on PyPI
Alternatives
Verify before relying
pip install skylos
skylos .
# For all checks (security, secrets, quality, AI defects):
skylos . -a
# Verify specific file range:
skylos verify . --file src/app.py --range 40:75- Whether tree-sitter grammar downloads happen on first run and their size/time impact
- Performance characteristics on large codebases (the fact sheet mentions benchmarks but does not provide numbers)
- Exact coverage and false-positive rates for each language's AI-defect checks
What it is and what it does
Skylos is a multi-language static analysis tool designed to run locally before code merge, checking for dead code, security vulnerabilities, exposed secrets, dependency CVEs, deployment misconfigurations, quality regressions, and mistakes commonly introduced by AI code generators. It supports 12 languages and can operate as a standalone CLI, GitHub Action, or CI/CD gate. The tool includes specialized checks for AI-generated code hallucinations—phantom functions, invented APIs, impossible dependency versions—and LLM app risks like unsafe tool use.
The package ships with 19 runtime dependencies, primarily tree-sitter language parsers and terminal UI libraries (rich, textual, inquirer), enabling both broad language coverage and an interactive terminal interface. It can output findings in multiple formats (pretty, concise, JSON) and includes a keyboard-driven TUI for triaging results. For AI-generated code, Skylos can verify against repo-specific contracts defined in `.skylos/ai-contract.yml`, reducing hallucination false positives by anchoring checks to actual project symbols and APIs.
Use it for
- Scan a pull request for dead code and unused imports before merge using `skylos . --diff origin/main`
- Verify AI-generated code snippets for hallucinated functions, invented APIs, and missing guards with `skylos verify . --file src/app.py --range 40:75`
- Set up a GitHub Actions PR gate with `skylos cicd init` to block commits with security flaws, secrets, or quality regressions
- Audit a multi-language monorepo for security issues and dependency CVEs with `skylos . -a`
- Create project-specific static analysis rules with `skylos rules init` and validate them with `skylos rules validate`
- Compare Skylos findings against an incumbent scanner with `skylos compare . --against incumbent.sarif` to measure coverage overlap
Worth the install?
AI-flagged interpretation of the facts on this page. Verify before relying on it.
Yes.
Skylos is actively maintained (5 days since last release), supports modern Python versions (3.10–3.13), carries no known vulnerabilities, and solves a real problem—detecting dead code and AI-generated mistakes before merge—across 12 languages in a single tool. Low install friction and permissive licensing make it a low-risk addition to a development workflow. Install it if you need multi-language static analysis, AI-code verification, or a unified security gate; the 19 dependencies are justified by broad language support and polished CLI experience.
Install
skylos on PyPI
Before you install
Low install friction with a pure-Python wheel. Actively maintained—last commit 2026-08-14, released 5 days ago. Supports Python 3.10–3.13. Carries 19 runtime dependencies including tree-sitter language parsers, rich for terminal output, and textual for interactive UI, which adds complexity but enables broad language support and polished CLI experience.
Requires Python 3.10 or later. Tree-sitter language parsers are vendored; no system compilation needed, but initial run downloads language grammars.
License in practice
Apache-2.0 permissive license allows commercial and private use, modification, and distribution with minimal restrictions—suitable for most development workflows.
Quickstart
pip install skylos
skylos .
# For all checks (security, secrets, quality, AI defects):
skylos . -a
# Verify specific file range:
skylos verify . --file src/app.py --range 40:75Verify before relying
- Whether tree-sitter grammar downloads happen on first run and their size/time impact
- Performance characteristics on large codebases (the fact sheet mentions benchmarks but does not provide numbers)
- Exact coverage and false-positive rates for each language's AI-defect checks
Package facts
| License | Apache-2.0 permissive |
| Python support | Supports the current Python release >=3.10 |
| Install friction | Low. Pure-Python wheel |
| Runtime dependencies | 19 packagesinquirerlibcstrichtextualkeyringrequeststree-sittertree-sitter-typescripttree-sitter-gotree-sitter-javatree-sitter-phptree-sitter-rusttree-sitter-dart-orchardtomlipyyamlnetworkxpyperclipca9mcp |
| Maintenance | Actively maintained 5 days since the last release |
| Last repo commit | |
| First released | |
| Downloads | 173,735 / month, #10,299 on PyPI 30-day window, as of 2026-08-14 |
| Known vulnerabilities | None known OSV.dev, checked 2026-08-14 |
| Classifiers | Development Status :: 4 - BetaIntended Audience :: DevelopersOperating System :: OS IndependentProgramming Language :: Python :: 3Programming Language :: Python :: 3.10Programming Language :: Python :: 3.11Programming Language :: Python :: 3.12Programming Language :: Python :: 3.13Topic :: SecurityTopic :: Software Development :: Libraries :: Python ModulesTopic :: Software Development :: Quality AssuranceTopic :: Software Development :: TestingTyping :: Typed |
Evidence: skylos-4.33.2-py3-none-any.whl
Tags
Let your AI agent find packages like this
Example. Real query, live index.
You found this page by searching. An agent finds it by wishing: SkillFed indexes 14,416 PyPI packages by what they can do, searchable in plain language.
wish › “ai-generated code verification”
- skylosSkylos is a local-first static analysis CLI that scans Python,…
- llm-sandboxExecutes code generated by large language models in isolated…
- e2bE2B provides a Python SDK to create and control isolated cloud…
Give your agent the search over MCP, or paste the wish link into any chat.
More Python Modules packages
Converts domain names between Unicode and ASCII-compatible encoding (Punycode) according to IDNA 2008 and Unicode Technical Standard 46, with security validation and broader script coverage than the standard library.
Install it if you work with internationalized domain names, need to validate domains, or use HTTP clients that depend on it transitively.
Setuptools is a Python build backend and package management tool that handles building, distributing, and installing Python packages, including support for C/C++ extension modules.
PyYAML parses and emits YAML 1.1 data format, enabling serialization and deserialization of configuration files and Python objects to and from human-readable YAML text.
Pydantic validates Python data structures against type hints, coercing and checking input at runtime to ensure it matches a declared schema.
Provides reusable metadata objects for use with PEP-593 `typing.Annotated` to express common constraints like bounds, collection sizes, and predicates on types.
Install it if you use or build libraries that need to express type constraints in a standardized, inspectable way—or if you want to annotate your own types with…
Provides runtime tools to inspect and introspect Python type annotations, enabling programmatic examination of type hints at execution time.
See also semgrep · kingfisher-bin · guarddog · cycode · mobsfscan · plugin-scanner · flawfinder · xbsl · checkov · njsscan