$pwd:
discover-formal
// Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
$ git log --oneline --stat
stars:33
forks:2
updated:2025年11月25日 21:16
marketplace:true
SKILL.md
package.json
"author": "rand"
"repository": "rand/cc-polymath"
$ download --local
[HINT] 下载包含 SKILL.md 和所有相关文件的完整技能目录
$ install --marketplacedocs
$ /plugin marketplace add rand/cc-polymath[INFO] 复制此命令并粘贴到 Claude Code 中以安装该技能
related-imports.ts
// 相关技能
import detecting-performance-regressions
from "jeremylongshore"
641
import moai-essentials-perf
from "modu-ai"
310
import discover-cloud
from "rand"
33
import discover-debugging
from "rand"
33
import gemini-peer-review
from "leegonzales"
6
import project-orchestrator
from "cncorp"
4
import specialization-loader
from "mehdic"
1
import administration
from "reggiechan74"
0
import moai-essentials-perf
from "dolsoon"
0
import architecture-agent-creation
from "auldsyababua"
0
import agent-documentation
from "L-Sypniewski"
0
import atft-autonomy
from "wer-inc"
0