菜单
Use when authoring or editing .vaked files, evolving the Vaked grammar (EBNF), or extending the type/schema docs — keeps the language self-consistent across vaked/ and docs/language/. Trigger on ".vaked", "grammar", "EBNF", "Vaked primitive", "capability graph", "parallel-types".
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Ultra-compressed communication mode. Cuts token usage ~75% by speaking like caveman while keeping full technical accuracy. Supports intensity levels: lite, full (default), ultra, wenyan-lite, wenyan-full, wenyan-ultra. Use when user says "caveman mode", "talk like caveman", "use caveman", "less tokens", "be brief", or invokes /caveman. Also auto-triggers when token efficiency is requested.
Use to drive an RFC, feature, or PR end-to-end (research → spec → scaffold → implement → test → integrate) by fanning out single-purpose subagents in dependency-ordered waves. The orchestrator decomposes, dispatches, gates, and merges; it never writes code itself. Trigger on "/subagent-driven-development", "SDD", "fan-out implement", "drive this RFC/PR e2e", "subagent fan-out".
CUC (Caveman Ultra Chinese) — ultra-compressed communication mode. Cuts token usage ~75% while keeping full technical accuracy. Supports intensity levels: lite, full (default), ultra, wenyan-lite, wenyan-full, wenyan-ultra. Use when user says "cuc mode", "caveman mode", "use cuc", "less tokens", "be brief", or invokes /cuc. Also auto-triggers when token efficiency is requested.
Use when asked to export, scrub, share, or archive a transcript of the current chat/session as a clean reasoning conversation. Produces a PII-scrubbed, enriched USER:SYSTEM transcript reconstructed from conversation context (not from disk — the live session transcript is often not flushed locally). Trigger on "transcript", "scrub session", "session export", "cleaned conversation", "reasoning transcript", "share this chat".
vaked-optitron — a singularity-native crawler whose ONLY job is to surface ONE novel, proven, cross-checked, independently-confirmed compiler / allocator / Zig / Rust / Vaked optimization per run, or nothing. It abstains by default; only a finding that clears a strict gate (>=2 independent sources + repo/ledger novelty + a REPRODUCED micro-benchmark + a confidence threshold) is acted on, by opening an `agent`-labelled GitHub issue (the swe_af trigger) and announcing to Mastodon + Telegram. Runtime: tools/optitron/ (Go/Eino binary, OpenRouter). Trigger on "optitron", "find an optimization", "optimization crawl".
Compose and publish updates to the self-hosted Mastodon (social.crabcc.app) in the voice of "Carcin", the crabcc dev-feed persona. Use when the user says "toot", "post to mastodon", "share this", "post an update", or wants a fix/pattern/anecdote published. Drafts with google/gemma-4-31b-it, publishes via the social-post workflow.
| name | vaked-language-author |
| description | Use when authoring or editing .vaked files, evolving the Vaked grammar (EBNF), or extending the type/schema docs — keeps the language self-consistent across vaked/ and docs/language/. Trigger on ".vaked", "grammar", "EBNF", "Vaked primitive", "capability graph", "parallel-types". |
Vaked is a small, typed, deterministic, side-effect-free, Nix-output-first, capability- and graph-native language. Anything authored here must preserve those properties. The mantra is the contract: Vaked declares. Nix materializes. OTP supervises. Zig enforces. eBPF testifies. CrabCC indexes. Surfaces reveal.
| Concern | Path |
|---|---|
| Grammar (source of truth) | vaked/grammar/vaked-v0-plus.ebnf |
| Type / schema notes | vaked/schema/parallel-types.md |
| Examples | vaked/examples/ (+ examples/engines/) |
| Design series | docs/language/0001…0010-*.md |
| Canonical overview | docs/context/PROJECT_CONTEXT.md |
vaked-v0-plus.ebnf first, then giving it at least one example under
vaked/examples/. No example → the construct isn't real yet.index, catalog,
stream, fiber, surface, mesh, device, mediaPipeline, parallel
(see docs/language/0008-parallel-fibers-indexes-surfaces.md). Prefer composing
these over inventing new top-level keywords; if a new primitive is justified,
write a numbered design note (docs/language/00NN-*.md) explaining why.docs/language/README.md and the reference map.docs/runtime/README.md.