·catsharp
</>

catsharp

plurigrid/asi

貓#技能(遍歷 0)

3安裝·0熱度·@plurigrid

安裝

$npx skills add https://github.com/plurigrid/asi --skill catsharp

SKILL.md

"All Concepts are Cat#" — Spivak (ACT 2023) "All Concepts are Kan Extensions" — Mac Lane

Trit: 0 (ERGODIC) Color: #26D826 (Green) Role: Coordinator/Transporter XIP: 6728DB (Reflow Operator) ACSet Mapping: 138 skills → Cat# = Comod(P)

Where P = (Poly, y, ◁) is the polynomial monoidal category.

貓#技能(遍歷 0) 來源:plurigrid/asi。

查看原文

可引用資訊

為搜尋與 AI 引用準備的穩定欄位與指令。

安裝指令
npx skills add https://github.com/plurigrid/asi --skill catsharp
分類
</>開發工具
認證
收錄時間
2026-02-01
更新時間
2026-02-18

快速解答

什麼是 catsharp?

貓#技能(遍歷 0) 來源:plurigrid/asi。

如何安裝 catsharp?

開啟你的終端機或命令列工具(如 Terminal、iTerm、Windows Terminal 等) 複製並執行以下指令:npx skills add https://github.com/plurigrid/asi --skill catsharp 安裝完成後,技能將自動設定到你的 AI 程式設計環境中,可以在 Claude Code 或 Cursor 中使用

這個 Skill 的原始碼在哪?

https://github.com/plurigrid/asi