| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
leanconfigured, not run |
Proofs and specifications | test/resources/repos/lean4/test_repo/lakefile.lean test/resources/repos/lean4/test_repo/DiagnosticsSample.lean |
Static analysis
3 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
codeql |
Security scanning | uses github/codeql-action/analyze |
ci | .github/workflows/codeql.yml |
ruff-checkconfigured, not run |
Linting | pyproject.toml | ||
sphinxconfigured, not run |
Docs build | pyproject.toml |
Testing
2 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
ci-matrix |
Version and platform matrix | analyze (include: 3) |
ci | .github/workflows/codeql.yml |
pytestconfigured, not run |
Unit and integration tests | pyproject.toml |
Formatting and hygiene
1 tool
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
codespell |
Spelling | uses codespell-project/actions-codespell |
ci | .github/workflows/codespell.yml pyproject.toml |
5 other commands the scanner could not classify
Commands from CI steps and task runners that look like checks but match no known tool. Some are checks, some are not.
cpanm --notest --force --local-lib=$HOME/perl5 Perl::LanguageServerpoe lintpoe test -m $EXPR -q --tb=shortpoe type-checkserena project health-check test/resources/repos/python/test_repo
Review prompts
most discussed first