$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:November 25, 2025 at 21:16
marketplace:true
SKILL.md
package.json
"author": "rand"
"repository": "rand/cc-polymath"
$ download --local
[HINT] Download the complete skill directory including SKILL.md and all related files
$ install --marketplacedocs
$ /plugin marketplace add rand/cc-polymath[INFO] Copy and paste this command into Claude Code to install the skill
related-imports.ts
// Related Skills
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