Install and configure Archon for OpenCode, remember its user-level installation path, locate its CLI from any OpenCode Desktop project or conversation, and run Lean formalization workflows in the current project. Use whenever the user asks to install Archon, formalize mathematics with Archon, initialize an Archon project, run or resume Archon, inspect results, or use init/dag/loop/discuss/dashboard/extract/merge/refactor/peers/scope/subagents. 用于在 OpenCode 中安装和配置 Archon、记住本机安装路径、从任意项目或新对话定位 Archon CLI，以及在当前项目运行 Lean 形式化流程。
