kernel-auditor
CommunityAudit kernel code for bugs.
Authorjonathanrtuck
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill systematically audits kernel source files for bugs, ensuring memory safety, concurrency correctness, and adherence to architectural design principles.
Core Features & Use Cases
- Comprehensive Auditing: Applies a 6-category checklist (memory safety, concurrency, error handling, edge cases, resource leaks, AArch64 correctness) to kernel source files.
- Test-Driven Development (TDD): Writes failing tests before fixing bugs, ensuring verifiable fixes.
- Use Case: A developer needs to ensure a new kernel module is robust and free of common vulnerabilities before integration. This Skill guides them through a rigorous audit process.
Quick Start
Audit the kernel source file system/src/memory.rs for bugs using the comprehensive checklist.
Dependency Matrix
Required Modules
None requiredComponents
referencesscripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: kernel-auditor Download link: https://github.com/jonathanrtuck/os/archive/main.zip#kernel-auditor Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.