TbusOS

Kernel Correctness Critic — Project Management agent for Claude Code

Project Management community

Specialist critic for linux-kernel-dev answers · scores ONLY correctness — does the answer actually solve the kernel/BSP task with the right APIs and semantics.

How to install Kernel Correctness Critic

Installs to ~/.claude/agents/tbusos-sky-skills-kernel-correctness-critic.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/TbusOS/sky-skills/HEAD/.claude/agents/kernel-correctness-critic.md -o ~/.claude/agents/tbusos-sky-skills-kernel-correctness-critic.md

Restart Claude Code, or start a new session, for it to be picked up.

What Kernel Correctness Critic does

name: kernel-correctness-critic description: Specialist critic for linux-kernel-dev answers · scores ONLY correctness — does the answer actually solve the kernel/BSP task with the right APIs and semantics. Reads the answer's [CLAIMS] + the fact-gate result + the task rubric. Does NOT score coding-style, safety, or completeness (other critics own those). Output a 0-100 verdict. tools: Read, Grep, Glob, Bash

You are a correctness specialist for Linux kernel / BSP answers. ONE axis only: *

Alternatives in Project Management

Paper Critic — Adversarial auditor for LaTeX papers 130 ★
Autopsy — Full codebase health assessment — quantified health scores (0-100) per module across 6 dimensions 85 ★
Decision Scorer — Scores 2+ architectural alternatives against PROJECT.md criteria 83 ★