$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] Laden Sie das komplette Skill-Verzeichnis einschließlich SKILL.md und aller zugehörigen Dateien herunter
$ install --marketplacedocs
$ /plugin marketplace add rand/cc-polymath[INFO] Kopieren Sie diesen Befehl und fügen Sie ihn in Claude Code ein, um den Skill zu installieren
related-imports.ts
// Verwandte Skills
import gemini-peer-review
from "leegonzales"
7
import cli-ninja-tools
from "killerapp"
1
import repomix-codebase-explorer
from "cmtkdot"
0
import explore-and-document
from "anortham"
0
import pair-programming
from "ruvnet"
9,856
import gemini
from "cexll"
1,289
import create-hooks
from "glittercowboy"
401
import moai-essentials-refactor
from "modu-ai"
310
import moai-essentials-perf
from "modu-ai"
310
import moai-essentials-refactor
from "modu-ai"
310
import claudemem-search
from "MadAppGang"
171
import codebase-exploration
from "rsmdt"
127