skills.rest
JonasKruckenbergJonasKruckenbergCommunity·1 Agent Skills Included

k23

Review and build a WebAssembly-based Rust microkernel safely

Reviews kernel code changes for unsafe soundness, atomic ordering, MMIO volatility, and WebAssembly sandbox escapes. Runs the full build, lint, and test pipeline automatically and folds results into a clear severity-ranked verdict. Helps contributors catch security regressions and undefined behavior before merging low-level systems code.
649|43
↗
npx skills add JonasKruckenberg/k23 --all -g -y
Available:

Gives the AI agent the kernel's architecture map, build commands, coding rules, and eight critical safety invariants it must enforce when working on or reviewing this codebase.

All Skills in This Repository (1)

Pure Emerald Level Indicators
📦 In Repo
JonasKruckenbergJonasKruckenberg

review

Analyze Rust code in the k23 repository for safety violations and correctness issues.

Community
Advanced

Frequently Asked Questions

FAQPage Schema
How to install k23?▼

Run `npx skills add JonasKruckenberg/k23 --all -g -y` in your terminal to install all skills in this suite globally.

What is the k23 microkernel?▼

k23 is an experimental Rust microkernel that runs WebAssembly as its main execution environment, currently targeting RISC-V 64 with aarch64 and x86_64 in progress.

How does the k23 review skill work?▼

It scans your branch or diff for unsafe code issues, concurrency bugs, and sandbox escapes, runs the full preflight test suite in the background, and reports findings ranked by severity with citations.

Does k23 work with Claude Code and other AI agents?▼

Yes. The AGENTS.md file and SKILL.md standard let agents like Claude Code, Cursor, and Codex navigate the repo, run builds, and review changes correctly.

Do I need OS development experience to contribute to k23?▼

No. The documentation and agent guides explain low-level concepts in plain terms, and the review skill catches mistakes against the kernel's safety rules automatically.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills