Analyze Rust code in the k23 repository for safety violations and correctness issues.
npx skills add https://github.com/JonasKruckenberg/k23 --skill review-jonaskruckenberg
Please help me install this Agent Skill. Skill: review Source: https://github.com/JonasKruckenberg/k23/tree/main/.claude/skills/review Command: npx skills add https://github.com/JonasKruckenberg/k23 --skill review-jonaskruckenberg
This Skill addresses the need for efficient, thorough code reviews tailored to the specific nuances of the k23 microkernel project, reducing manual effort and catching issues early.
Run the review on the current branch with jj diff and analyze the output for issues related to unsafe code or safety violations.
High-intent search queries and answers about installing and using this skill.
Automate Rust code review by analyzing the current branch with `jj diff` to identify unsafe patterns, unsafe assembly, and correctness issues, reducing manual effort and catching safety violations early before human review.
Static analysis for unsafe Rust code identifies safety violations, unsafe patterns, and correctness issues within the repository context, emphasizing high-confidence findings to ensure code quality and adherence to best practices during rapid review cycles.
Get citations for code review findings by ensuring each identified safety violation is supported by a spec, RFC, or source file location, providing verifiable evidence for every detected unsafe pattern or correctness issue during analysis.
This static analysis tool works specifically with the k23 microkernel repository, tailoring code evaluation to the project's unique nuances by targeting unsafe Rust code and unsafe assembly within this defined context for high-confidence findings.
The best way to identify safety violations is to run automated targeted code analysis on your current branch, checking for unsafe Rust code and unsafe assembly to catch high-confidence findings early and streamline the human review process.
Use automated preflight code review when you need to evaluate pull requests or branches for safety violations and potential bugs before human review, designed for rapid review cycles to ensure adherence to repository standards early.
ahkohdGenerate conventional commit messages by analyzing diffs and running tests.
radareorgReview source code changes and report high-confidence bugs as severity-tagged notes.
DatTran26Execute unit, integration, e2e, and UI tests with coverage reports.
managedcodeIntegrate Roslynator analyzers into .NET projects for C# static analysis and auto-fixing.
