Audit immutable mathematical artifacts through isolated evidence-focused review lenses
Run fail-closed deterministic validation for mathematical and LaTeX artifacts
Maintain durable proof-obligation registries with profile coverage and semantic ledgers
Structured pull-request review across six fixed dimensions — correctness, clarity, consistency, coverage, complexity, and change-scope — producing a per-dimension verdict plus severity-tagged findings. Use when reviewing a PR diff or running the collaboration…
The shared brief-to-prompt convention behind the media point tasks — parse the brief, select the model or tool, construct the prompt, then QA the output against the brief. Use when prompting for image, video, speech, or music generation or editing.
Canonical kip knowledge-store patterns for any process or agent: recall prior facts before work, assert decisions/gate outcomes/rejections as structured facts after work, resolve entities with explicit --model sonnet, and invoke the CLI Windows-safely via…
Reference for querying the Atlas knowledge graph through its MCP tools — the SECONDARY enrichment/comparison layer that adds best-practice context to systems you have ALREADY scanned from your real sources (`az`, repos, dirs). Use when you need to look up…
Atlas turns your STATED NEED into a real systems atlas by SCANNING your actual sources (Azure via `az`, git repos, local dirs) and process/data mining them, THEN enriching against the Atlas knowledge graph. Use this skill when asked to inventory/map your real…