help

SKILL.md

| Explore codebase | scout agent, tldr CLI, /explore workflow | | Fix a bug | /fix workflow, sleuth agent, debug-agent | | Build feature | /build workflow, architect agent, kraken agent | | Prove math | /prove skill, lean4 skill, Godel-Prover | | Research docs | oracle agent, nia-docs, perplexity |

tldr tree src/ # File tree tldr structure src/ --lang python # Code structure (codemaps) tldr search "pattern" src/ # Search files tldr cfg file.py func # Control flow graph tldr dfg file.py func # Data flow graph tldr impact func src/ # Reverse call graph (who calls this?) tldr dead src/ # Find dead code tldr arch src/ # Detect architectural layers

/prove every group homomorphism preserves identity /prove continuous functions on compact sets are uniformly continuous

查看原文