菜单
Repository directory layout and where each kind of file lives. Use when unsure where a file belongs or how the tree is organized.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Rust house style for repo-owned crates: edition 2024, naming, module layout, unsafe validation (Miri/loom/shuttle), mutation testing, fuzzing. Use when writing or reviewing Rust.
Use this skill to interactively debug Antithesis test runs using the multiverse debugger. Open a debugging-session URL, inspect container filesystems and runtime state, run shell commands, and extract evidence from inside the Antithesis environment. Supports both the simplified debugger (default) and the advanced notebook mode.
Search across all timelines in an Antithesis test run to find events, correlate property failures, and answer temporal questions about ordering and causation (e.g., did event A always precede failure B? do failures occur even without a preceding fault?).
Cross-cutting facts and gotchas for any Antithesis work on the ix repo — credentials, harness structure, `setup_complete` protocol, assertion idioms, randomness rules, workload design, triage via `agent-browser`, signed report URLs, and Test Composer script placement. Loads whenever an Antithesis run, report, property/assertion, `snouty` invocation, or `antithesis_sdk::` call is in play. Complements the task-scoped `antithesis-{setup,workload, launch,triage,debug,query-logs,research,documentation}` skills.
Triage Antithesis test reports to understand what happened in a run: look up runs, check status, investigate failed properties (assertions), view metadata, download logs, inspect findings, and examine environmental details. Load after a run completes or when investigating a failure.
Autonomously drive a pull request to merged by spawning a background subagent (the fork) that watches CI fail-fast, fixes each failure on the PR branch, re-pushes, and merges when green, all without blocking the main session. Use when the user wants to watch and merge a PR, babysit it, fix CI and merge, get a PR in, or otherwise hand off a PR's CI-to-merge loop so they can keep working. The skill never blocks the main thread; it launches the watcher and returns immediately.
| name | layout |
| description | Repository directory layout and where each kind of file lives. Use when unsure where a file belongs or how the tree is organized. |
flake.nix # manifest: inputs + delegated outputs
.envrc, .githooks/pre-commit # direnv wires the tracked hook
lib/ # public helpers, builders, discovery
modules/ # registered NixOS modules and profiles
images/ # image modules plus optional versions
packages/ # repo-owned packages (Rust crates, apps, tools)
users/<github-username>/ # personal-but-shareable home-manager modules
skills/ # Claude Code skills, one dir per skill
packages/agent/subagents.nix # bundled Claude subagent definitions
astlog-rules/ # astlog lint rules (nix + rust) and test fixtures
Skills are this repo's custom agent-skill system: each skills/<name>/SKILL.md
(frontmatter name + a trigger description, optional references/ and
assets/) is auto-discovered by lib/skills.nix, so adding a
directory is the only step to publish one. They surface to agents by name; reach
for one when its description matches the task.
Folders should preserve conceptual paths. When siblings share a real domain, nest them under that domain instead of flattening the name into repeated dashed prefixes. Published package names, image tags, and upstream identifiers can keep their external spelling.
Move a legacy flat path while doing nearby work when the rename is small and call sites are inside the repo. Leave a follow-up when the rename is larger than the work that exposed it.