Awesome Reviewers checks + prompts

sources / oraios/serena

oraios/serena

The checks this repository runs, scanned at ede329a, and the review prompts derived from its discussions.

7 recognised tools
11 prompts
14465 stars
AI Agents & Assistants
GitHub
ToolKindCommandRuns inFound in
lean
configured, 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

ToolKindCommandRuns inFound in
codeql Security scanning uses github/codeql-action/analyze ci .github/workflows/codeql.yml
ruff-check
configured, not run
Linting pyproject.toml
sphinx
configured, not run
Docs build pyproject.toml

Testing

2 tools

ToolKindCommandRuns inFound in
ci-matrix Version and platform matrix analyze (include: 3) ci .github/workflows/codeql.yml
pytest
configured, not run
Unit and integration tests pyproject.toml
ToolKindCommandRuns inFound 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::LanguageServer
  • poe lint
  • poe test -m $EXPR -q --tb=short
  • poe type-check
  • serena project health-check test/resources/repos/python/test_repo

full scan as JSON

Review prompts

most discussed first

  • oraios/serena Configurations Python ai-agents
    raw open
  • oraios/serena Code Style Python ai-agents
    raw open
  • oraios/serena Testing Python ai-agents
    raw open
  • oraios/serena Logging Python ai-agents
    raw open
  • oraios/serena Naming Conventions Python ai-agents
    raw open
  • oraios/serena Documentation Python ai-agents
    raw open
  • oraios/serena Error Handling Python ai-agents
    raw open
  • oraios/serena Null Handling Python ai-agents
    raw open
  • oraios/serena API Python ai-agents
    raw open
  • oraios/serena CI/CD Yaml ai-agents
    raw open
  • oraios/serena Configurations Json ai-agents
    raw open