che-archive-lines
🔌PluginPsychQuant/psychquant-claude-plugins
Part of
kiki830621-che-claude-plugins
Installation
/plugin marketplace add PsychQuant/psychquant-claude-plugins/plugin install che-archive-lines@psychquant-claude-pluginsMore from this repository10
Marketplace
Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit
Telegram MCP Plugin — 結合 Bot API 與個人帳號 (TDLib),macOS Keychain 密鑰管理
Things 3 任務管理 MCP Server - 47 個工具支援完整 GTD 工作流程
Claude Code 多帳號管理:切換帳號、列出帳號、自動設定 IDE symlink 解決 VS Code 偵測問題
Plugin
MCP Server 開發工具集:mcp-new-app、mcp-deploy、mcp-install、mcp-upgrade、mcp-clone、mcp-publish、mcp-sync、mcp-diagnose、mcp-debug、mcp-test、mcp-to-plugin、mcp-issue
GiftHub CLI integration — auto-detect .gfh.json, inject usage context, auto-install after build
Creative Suite — 協調 che-svg-mcp(向量)與 che-pixel-mcp(點陣)的圖形處理工作流,含 creative-router skill 與 creative-agent
Dropbox 同步排除管理 — 自動對 .git、build artifacts 等設定 com.dropbox.ignored xattr