skillfed

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.

skylos v4.33.2 173.7K downloads/30d#10,299 on PyPI537
Permissive license Apache-2.0 Active released

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

Skylos is a local-first static analysis CLI that scans Python, TypeScript, JavaScript, Java, Go, Kotlin, PHP, Rust, Dart, C#, Shell, and deployment configs for dead code, security flaws, secrets, quality regressions, and AI-generated code mistakes.

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

pip

pip install skylos

uv

uv add skylos

poetry

poetry add skylos

Installing skylos

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.

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:75

Requires Python 3.10 or later. Tree-sitter language parsers are vendored; no system compilation needed, but initial run downloads language grammars.

Verify 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 — inquirer, libcst, rich, textual, keyring, requests, tree-sitter, tree-sitter-typescript, tree-sitter-go, tree-sitter-java, tree-sitter-php, tree-sitter-rust, tree-sitter-dart-orchard, tomli, pyyaml, networkx, pyperclip, ca9, mcp
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)

Evidence: skylos-4.33.2-py3-none-any.whl

Keywords: static-analysis, dead-code, unused-code, unused-imports, security, linter, code-quality, sast, python-sast, vulnerability-scanner, python-linter, python-security, python-security-scanner, typescript-linter, quality-gate, ci-cd, github-actions, github-actions-security, gitlab-ci, gitlab-ci-security, shell-security, supply-chain-security, code-review, secrets-detection, mcp, mcp-server, ai-agent, ai-tool, coding-agent, vulture-alternative, bandit-alternative, semgrep-alternative, code-scanner, dead-code-detector, devsecops, vibe-coding, ai-generated-code, ai-code-security, prompt-injection, ai-supply-chain-security, phantom-function, hallucinated-dependency, copilot-review

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

Tags

dead code detectionstatic analysis multi-languagesecurity vulnerability scannerai-generated code verificationsecrets detectioncode quality gateci/cd security linter
multi-language-sastai-code-verificationdead-code-detection

More Python Modules packages