Che Cheng

psychquant-claude-plugins

Lean 4 automated proof grinding — breadth-first sorry elimination with Mathlib API rules, codex-prove-assist, lean-prover agent, and auto-commit

GiftHub CLI integration — auto-detect .gfh.json, inject usage context, auto-install after build

CLI tool lifecycle management — build, deploy, install, upgrade Swift CLI tools via GitHub Releases

平行派發任務給多個 AI agent（Claude + Codex），獨立執行後交叉比對結果

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

Claude Code Plugin 完整生命週期工具：plugin-create、plugin-upgrade、plugin-deploy、plugin-update、plugin-health、plugin-debug

Issue-driven development methodology: idd-issue → idd-diagnose → idd-implement → idd-verify → idd-close + idd-update. Auto-complete friendly.

Apple Mail MCP Server — 44 tools, SQLite 毫秒搜尋, .emlx 解析, 批次操作

功能測試導向的 R Shiny App Debug 工具，整合 agent-browser 與 R console

歸檔 LINE macOS 聊天記錄到文字檔，使用座標點擊自動化

Auto-triggered Skills for querying Claude Code, OpenAI, Codex CLI, Gemini API, and Gemini CLI documentation. Source-code-first for CLI tools. /ai-docs-guide for cross-platform comparison.

[Deprecated — replaced by ai-docs-guide] Claude Code 設定查詢助手

Things 3 任務管理 MCP Server - 47 個工具支援完整 GTD 工作流程

macOS 行事曆與提醒事項 MCP Server - EventKit 整合，28 個工具，支援 attendees/organizer、undo/redo、每事件時區、--cli 模式、--setup TCC 授權、彈性日期解析、模糊匹配、batch 操作

DuckDB MCP Server - 整合文檔查詢與資料庫操作，14 個工具（DuckDB v1.5.0-dev engine）

Word MCP Server - Swift 原生 OOXML 操作，148 個工具，支援 Dual-Mode + Session 狀態管理（dirty tracking, autosave, finalize）

Auto-triggered Skill for querying PostgreSQL official documentation

Claude Code 多帳號管理：切換帳號、列出帳號、自動設定 IDE symlink 解決 VS Code 偵測問題

App Store Connect MCP Server — 99 tools across 15 domain managers covering the full ASC API

Dropbox 同步排除管理 — 自動對 .git、build artifacts 等設定 com.dropbox.ignored xattr

Bot 開發工具集

Protect files from AI-assisted deletion — PreToolUse hooks block destructive commands on archived/ paths, toggle with archived-lock/archived-unlock

Batch content generation using Codex CLI (GPT-5.4) — parallel codex exec with large reference docs as context

SVG MCP Server — Swift 原生 XML 操作，33 個工具，Session-based 向量圖形編輯

Pixel MCP Server — Swift 原生 Core Image 操作，36 個工具，200+ 濾鏡，Session-based 點陣圖形編輯

Telegram MCP Plugin — 結合 Bot API 與個人帳號 (TDLib)，macOS Keychain 密鑰管理

Write letters, emails, autobiographies, and formal documents by simulating the writer's authentic voice

Creative Suite — 協調 che-svg-mcp（向量）與 che-pixel-mcp（點陣）的圖形處理工作流，含 creative-router skill 與 creative-agent

Zotero reference manager + academic search + knowledge graph MCP Server

Auto-triggered Skills for querying R package documentation via WebFetch. Covers CRAN, tidyverse, Shiny, and general R packages.

Apple platform development toolkit — build, deploy, debug, device management, Apple OAuth setup for Xcode projects

找出任務可用的工具（MCP、Skills、CLI）或搜尋更好的替代方案

macOS native browser automation via Safari + AppleScript — permanent login, real-time vision channel (opt-in monitor), silent screenshots

Axiomatization Systems — 跨領域形式化公理體系的建立、驗證與查詢。基於 ASBE 方法論。axiom-create、axiom-validate、axiom-lookup