Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add commands/frenzymath/archon/doctorgit clone --depth 1 https://github.com/frenzymath/ArchonWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/commands/frenzymath/archon/doctor)<a href="https://agentmods.dev/commands/frenzymath/archon/doctor"><img src="https://agentmods.dev/badge/commands/frenzymath/archon/doctor.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00009 | $0.02318 |
| Opus 5 | $0.00005 | $0.01159 |
| Sonnet 5 | $0.00002 | $0.00464 |
| Haiku 4.5 | $0.00001 | $0.00232 |
Grade C, and why
doctor scanned grade C with 1 finding against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Recursive force deletehighDestructive command
rm -rf with a variable or a broad path is one typo away from removing the wrong tree.
- Default: Report findings, show `rm -rf` commands, do NOT execute How it starts
The opening of the file, as written. The whole thing — 281 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Lean4 Doctor
Diagnostics, troubleshooting, and migration assistance for the Lean4 plugin.
Usage
/lean4:doctor # Full diagnostic (plugin + workspace)
/lean4:doctor env # Environment only
/lean4:doctor migrate # Detect legacy installs (read-only)
/lean4:doctor migrate --global # Include user-level ~/.claude scan
/lean4:doctor cleanup # Show stale files + removal commands
/lean4:doctor cleanup --apply # Actually remove stale files
Inputs
| Arg | Required | Description |
|---|---|---|
| mode | No | env, migrate, cleanup, or full (default) |
| --global | No | Include user-level paths (~/); migrate only |
| --apply | No | Execute removals; cleanup only |
Actions
1. Environment Check
| Tool | Check | Required |
|---|---|---|
lean |
lean --version |
Yes |
lake |
lake --version |
Yes |
python3 |
python3 --version |
For scripts |
git |
git --version |
For commits |
rg |
rg --version |
Optional (faster search) |
Environment variables: LEAN4_PLUGIN_ROOT, LEAN4_SCRIPTS, LEAN4_REFS, LEAN4_PYTHON_BIN
1b. MCP Tools
| Check | Detection | Status |
|---|---|---|
| Lean LSP MCP | lean_goal tool available in this session |
Optional (sub-second feedback) |
✓ … available or ⚠ … unavailable — see INSTALLATION.md |
2. Plugin Check
Verify structure and permissions:
plugins/lean4/
├── .claude-plugin/plugin.json
├── commands/ (*.md command files)
├── hooks/ (executable .sh)
├── skills/lean4/ (SKILL.md + references/)
├── agents/ (4 files)
└── lib/scripts/ (12 files, executable)
3. Project Check
lakefile.leanandlean-toolchainpresentlake buildpasses- Sorry count reported
4. Migration Detection (read-only)
Detects legacy v3 artifacts without making changes.
Legacy plugin installs:
~/.claude/plugins/lean4-theorem-proving/
~/.claude/plugins/lean4-subagents/
~/.claude/plugins/lean4-memories/
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 5d ago First seen · 281 lines · 9 tokens per session scan C 6379e132920b
doctor is a command published in the GitHub repository frenzymath/Archon (214 stars, last pushed 19d ago), licensed Apache-2.0. It adds 9 tokens to every session and 2,318 once invoked, about $0.0000 per session on Opus 5. A static security scan graded it C with 1 finding (recursive force delete). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other commands, from other repositories
thoughtdag
把当前 Claude Code 会话在 ThoughtDAG 中打开（桌面版直连；无桌面版时走本机桥）.
wisp-dashboard
Open the WISP dashboard in your browser.
forkmind
Start ForkMind or branch/inspect/regression-test an LLM call.
graph-open
The web UI requires the human-only full-authority token (uitoken). It is stored in no file, so you cannot know it and must not try to find it.
graph-new
Decompose a natural-language requirement into an execution graph and register it (does not run it).
graph-run
Start a run and pump the cursor to the end.