polyglot-spi
Cross-Language Strong Parallelism Invariance Verification for 15+ languages
发现 商业与营销 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Cross-Language Strong Parallelism Invariance Verification for 15+ languages
Google Drive management via DriveACSet schema with GF(3) triadic routing. Transforms files/folders into typed Interactions, routes to queue fibers, detects saturation for organized-drive-as-condensed-state.
Run Semgrep static analysis for fast security scanning and pattern matching. Use when asked to scan code with Semgrep, write custom YAML rules, find vulnerabilities quickly, use taint mode, or set up Semgrep in...
cats.for" (Categories for AI)
Generates comprehensive testing handbooks and guides for security testing strategies.
Tenderloin: Manifest Destiny Fund for Protocol Labs
Intent Sink Skill
Trifurcated Transfer Skill
Chemical Reaction Network topology for generating and analyzing reaction
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
JaxLife open-ended agentic simulator for emergent behavior, tool use,
Layer 6 Barton Cognitive Surrogate - build, train, validate psychological models with >90% fidelity
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.
Gradient-free optimization via discrete perturbations and trit-based learning
WEV Verification Skill
TrueALIFE: Self-Indexing Automata at the Edge of Chaos
Writing effective fuzzing harnesses for security testing.
CIDER integration for Clojure development with nREPL
Generates creative domain name ideas for your project and checks availability
Compositional algorithm and data analysis via algebraic databases
This skill should be used when the user asks to "scan for TODOs", "find placeholders", "clean up stubs", "remove temporary code", "audit for incomplete code", or "erase substitutions from codebase". Scans exist...
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
Proof-of-Frog Skill 🐸
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。