Instructions file CodexOpenCode
AGENTS.md instructions for luainkernel/lunatik, covering working on lunatik, layout, build, install, test, running a script and execution contexts.
599 3d ago B 8,897 tokens
GPL-2.0
Skill Claude CodeCodex
Use for every hardware bring-up / debug session when porting mainline Linux to a phone. Enforces evidence-first debugging - capture device logs, then research across mainline, the vendor kernel, postmarketOS, Halium/UBports, Mobian and NixOS - before writing or flashing any fix. Requires an already-unlocked…
40 3d ago A 83 tokens
CC-BY-4.0
port-loop
03Command
Iterate research → implement → verify autonomously until a capability works or the model of it is exhausted (linux-phone-porting).
40 3d ago A 26 tokens
CC-BY-4.0
port-setup
04Command
Establish the target and take the pre-flash backup that later research depends on (phase 0 of linux-phone-porting).
40 3d ago A 26 tokens
CC-BY-4.0
source-sweep
05Command
Research a symptom or a new capability across all six source families before writing any code (phase 2 of linux-phone-porting).
40 3d ago A 26 tokens
CC-BY-4.0
uringscope
06Skill Claude CodeCodex
Diagnose iouring performance and correctness problems with uringscope, an eBPF tracer and analyzer. Use when a Linux process that uses iouring shows tail latency, unexplained iou-wrk- thread explosions, suspiciously syscall-heavy behavior, silent buffer corruption, or completions that never arrive, or when strace…
12 4d ago B 110 tokens
Instructions file
Claude Code instructions for mjbommar/kernel-lore-mcp, covering kernel-lore-mcp — project state, pointers, standards, original goal and non-negotiable product constraints.
4 2d ago A 4,948 tokens
original MIT
MCP server Claude CodeCodexCursor
MCP server exposing fast, structured search over lore.kernel.org to LLM developer tools. Runs locally from the kernel-lore-mcp Python package.
4 2d ago A
tokens not measured
original MIT
gemini-linux
09Settings file Claude Code
Agent settings declaring 1 allowed tools.
2 1mo ago B
tokens not measured
Skill Claude CodeCodex
Triage a Gemini serial boot log (ftdi-monitor capture) in one token-efficient pass instead of a chain of ad-hoc grep/tail calls. Use whenever the user says "read the serial log" / "flashed and booted" for any boot capture under logs/.log — kernel bring-up, Kali harvest, or otherwise.
2 1mo ago A 75 tokens
build-pack
11Skill Claude CodeCodex
Run the full Gemini kernel build/pack/provenance cycle (VM build, boot.img pack, provenance dir, banner verification) via scripts/build-pack.sh.
2 1mo ago A 34 tokens
serial-login
12Skill Claude CodeCodex
Log in to the Gemini PDA over the FTDI serial console non-interactively and run shell commands, logging all output. Use when the user has released the FTDI port and wants Claude to drive the device console directly (e.g. panel DCS probes, register dumps, dmesg reads).
2 1mo ago A 63 tokens
openwifi-mcp
13MCP server Claude CodeCodexCursor
MCP server "openwifi-mcp" as configured in firasshaari/openwifi-mcp. Runs locally from the openwifi-mcp Python package.
0 1mo ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
MCP server "kernelmind-mcp" as configured in Reinazhard/kernelmind-mcp. Runs locally from the kernelmind-mcp Python package.
0 1mo ago A
tokens not measured
GPL-2.0
At most 3 mods per repository are shown here — the rest are on their repository pages: