My-Skills/code-logic/SKILL.md
A rigorous code logic analyzer that converts source code (Rust/Python) into a Universal Logic Graph (ULG). Outputs AI-optimized Logic DSL and Graphviz SVG. Supports single-file analysis, recursive project scanning, and unified atlas generation.
npx skillsauth add develata/deve-skills code-logicInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
This skill provides unassailable, AST-based control flow analysis for Rust and Python. It maps code into a rigorous graph structure, capturing implicit flows like Rust's ? operator or Python's try/except scopes.
Analyze a specific file to understand its local control flow.
python scripts/main.py /path/to/source.rs
Scan a directory to generate logic graphs for all source files found within.
python scripts/main.py /path/to/project/ --svg-dir documentation/graphs
Generate a single, massive graph connecting all modules via symbol resolution.
python scripts/main.py /path/to/project/ --unified --svg-dir documentation/atlas
You can customize descriptions and behavior using scripts/logic_config.yaml.
See DESIGN_SPEC.md for architecture details and logic_dsl.md for the output format specification.
.lisp): A Lisp-style S-expression representing the logical skeleton. Optimized for AI context windows..svg): A high-precision vector graphic using orthogonal layout. Best for human review.scripts/requirements.txttools
Collect and audit Codex token usage with a bundled Python CLI and optional Windows batch launchers. Use this skill when the user asks to check Codex token usage, generate daily token audit logs, calculate monthly CostUSD totals, review Codex spending, or run Codex token usage scripts on Windows, Bash, WSL, or Linux.
tools
Use when giving the user an INLINE reply that carries a trade-off, a decision, a verdict, or a non-trivial finding (decision brief / round verdict / failure root-cause). NOT for "done"/status confirmations, one-line answers, or pure data dumps. Forces a compact decision-brief shape and blocks internal tool-name / file-path bleed into user-facing text.
development
Use for cross-file or cross-chapter terminology audits and corpus-wide term unification in thesis/paper sources — extract candidate term drift, build a decision queue, classify each occurrence, apply accepted replacements safely, and verify counts/build. Trigger on "术语审计", "术语统一", "术语一致性", "逐词审", "这个词全文怎么用", "把 X 全文改成 Y", "terminology audit", or "unify term X". Do NOT use for ordinary prose drafting or a single known-location edit; use academic-writing for prose quality and claim-boundary judgment.
tools
Use for ANY codex CLI dispatch via dispatch wrapper (no time threshold; presence-of-risk triggers, not estimated wall — stdin-EOF stalls occur at <60s). Combines internal log-inactivity watchdog wrapper + external Claude-session cron probe + sentinel hook enforcement. Detects stalls in ≤60-270s vs hours-without-detection failure mode.