Skip to main content

What is Skylos?

Ship Cleaner, Safer Code

Skylos is an open-source static analysis tool and CI/CD PR gate. It combines dead code detection, security scanning, secrets detection, quality checks, and AI-generated code guardrails in one local-first CLI.

Use it when you want to:

  • remove unused code without breaking framework entrypoints
  • catch exploitable flows before they reach main
  • detect hardcoded secrets and risky CI/CD or edge-device configuration
  • enforce standards-backed coding practices for typing, framework routes, and repo policy
  • keep pull requests focused on new issues instead of legacy noise
  • review AI-assisted edits for missing controls, phantom helpers, and unfinished code

Core Workflows

WorkflowCommandWhat It Does
Dead code scanskylos .finds unused functions, classes, imports, files, and entrypoints
Full local auditskylos . -aadds security, secrets, config, quality, and dependency checks
Changed-code reviewskylos . -a --diff origin/mainfocuses on lines touched by a PR
CI gateskylos cicd initgenerates a GitHub Actions workflow
Pre-deployment agent verificationskylos defend . --format mdverifies AI-agent guardrails, gates CI, and emits attested evidence
Runtime agent behavior testskylos agent test --allow-contract-endpointchecks responses, tool selection, refusals, and source IDs against a contract
Agent reviewskylos agent scan .optional LLM-assisted review and fix suggestions

How Skylos Is Different

Framework-Aware Dead Code

Generic unused-code tools often flag route handlers, pytest fixtures, Pydantic models, serializers, package entrypoints, and plugin hooks. Skylos models common framework and language patterns so dynamic code is less likely to appear as dead.

Skylos understands patterns from ecosystems such as FastAPI, Django, Flask, pytest, SQLAlchemy, Next.js, React, package exports, and plugin loading.

Data-Flow Security Scanning

Skylos does not only look for dangerous function names. It tracks untrusted input through assignments, parameters, string construction, and framework handlers into sinks such as SQL execution, HTTP clients, filesystem paths, template rendering, subprocess execution, and deserialization.

PR-Native Enforcement

Skylos can run locally or in CI. Diff-aware scans keep new work separate from legacy findings, and GitHub annotations put results where reviewers already work. Standards-backed quality checks can start as advisory CI signals before becoming hard merge gates.

Local-First By Default

Core static analysis runs on your machine without an API key. Cloud upload, LLM-assisted review, and remediation are optional.

Language Support

LanguageDead CodeSecurityQuality
PythonYesYesYes
TypeScript / JavaScriptYesYesYes
JavaYesYesYes
GoYesSelectedSelected
KotlinYesSecretsNo
PHPYesSelectedNo
RustYesSelectedNo
DartYesSelectedNo
C#YesSelectedNo
ShellNoSelectedNo
Deployment configNoSelectedNo

For detailed scanner scope, see Language Support and Rules Reference.

Next Steps