{"categories":[{"label":"Python Modules","url":"https://skillfed.io/packages/category/software-development-libraries-python-modules/17"},{"label":"Testing","url":"https://skillfed.io/packages/category/software-development-testing/5"},{"label":"Security","url":"https://skillfed.io/packages/category/security/2"},{"label":"Quality Assurance","url":"https://skillfed.io/packages/category/software-development-quality-assurance/3"}],"enrichment":{"capability":"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.","skillfed_tags":["multi-language-sast","ai-code-verification","dead-code-detection"],"use_cases":["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"],"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\u2014phantom functions, invented APIs, impossible dependency versions\u2014and LLM app risks like unsafe tool use.\n\nThe 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.","worth_installing":"Yes. Skylos is actively maintained (5 days since last release), supports modern Python versions (3.10\u20133.13), carries no known vulnerabilities, and solves a real problem\u2014detecting dead code and AI-generated mistakes before merge\u2014across 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."},"id":"skylos","links":{"html":"https://skillfed.io/packages/skylos","md":"https://skillfed.io/packages/skylos.md","pypi":"https://pypi.org/project/skylos/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2026-08-09","license_spdx":"Apache-2.0","license_treatment":"permissive","name":"skylos","python_support":"supports_current","summary":"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."},"popularity":{"monthly_downloads":173735,"position":10299,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"4.33.2"}