Claude Code marketplace,散發 跨領域形式化公理體系 plugin。
目前只裝一個 plugin:che-axiom-systems。將不同知識領域以公理化的形式統一表達、可查、可驗證、可累積。基於 ASBE (Axiomatic Specification by Example) 方法論。
/plugin marketplace add PsychQuant/che-axiom-systems
/plugin install che-axiom-systems@che-axiom-systems安裝後即可使用四個 skill:
| Skill | 用途 |
|---|---|
/axiom-based |
把公理帶進對話(自動觸發 + 查詢) |
/axiom-validate |
驗證結構完整性 + 跨域一致性 |
/axiom-create |
建立新領域或在既有領域新增公理 |
/axiom-capture |
對話中偵測公理候選、詢問後捕捉(auto-trigger) |
.
├── .claude-plugin/
│ └── marketplace.json # marketplace manifest
├── plugins/
│ └── che-axiom-systems/ # 唯一的 plugin
│ ├── .claude-plugin/
│ │ └── plugin.json
│ ├── skills/ # 四個 skill
│ ├── domains/ # 14 個內建公理化領域(見 domains/INDEX.md)
│ ├── foundations/ # 跨領域原則 + ASBE 方法論
│ ├── templates/ # YAML 模板
│ ├── README.md # plugin 使用說明
│ └── CLAUDE.md # plugin internal guide
├── README.md # 本檔案:marketplace 說明
├── LICENSE # MIT
└── .gitignore
14 個公理化領域,完整清單見 plugins/che-axiom-systems/domains/INDEX.md(含各領域的 format / maturity / entry point)。
- SCD2 (Add Only) — 公理只能新增,不能修改或刪除
- Domain Independence — 各領域自成體系
- Consistency Requirement — 跨領域不得矛盾
- ASBE Compliance — 每條公理需雙層表達 + 範例錨定
從 PsychQuant/psychquant-claude-plugins 的 plugins/che-axiom-systems/ 抽離為獨立 marketplace,便於版本管理與外部協作。
MIT — 見 LICENSE。Plugin 內含的 plugins/che-axiom-systems/domains/apa7-style/06_reference/biblatex-apa/ 保留其原本的 LPPL 1.3c 授權。
維護者:Che Cheng