GitHub
semgrep
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...
☆ 5查看技能
工具与集成 AI 技能
发现 工具与集成 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 工具与集成
工具与集成 清除筛选
全部技能
GitHub
cats-for-ai
cats.for" (Categories for AI)
☆ 5查看技能
GitHub
testing-handbook-generator
Generates comprehensive testing handbooks and guides for security testing strategies.
☆ 5查看技能
GitHub
tenderloin
Tenderloin: Manifest Destiny Fund for Protocol Labs
☆ 5查看技能
GitHub
intent-sink
Intent Sink Skill
☆ 5查看技能
GitHub
trifurcated-transfer
Trifurcated Transfer Skill
☆ 5查看技能
GitHub
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction
☆ 5查看技能
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
☆ 5查看技能
GitHub
jaxlife-open-ended
JaxLife open-ended agentic simulator for emergent behavior, tool use,
☆ 5查看技能
GitHub
cognitive-surrogate
Layer 6 Barton Cognitive Surrogate - build, train, validate psychological models with >90% fidelity
☆ 5查看技能
GitHub
structured-decomp
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
☆ 5查看技能
GitHub
curiosity-driven
Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.
☆ 5查看技能
GitHub
discrete-backprop
Gradient-free optimization via discrete perturbations and trit-based learning
☆ 5查看技能
GitHub
wev-verification
WEV Verification Skill
☆ 5查看技能
GitHub
true-alife
TrueALIFE: Self-Indexing Automata at the Edge of Chaos
☆ 5查看技能
GitHub
harness-writing
Writing effective fuzzing harnesses for security testing.
☆ 5查看技能
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
☆ 5查看技能
GitHub
domain-name-brainstormer
Generates creative domain name ideas for your project and checks availability
☆ 5查看技能
GitHub
compositional-acset-comparison
Compositional algorithm and data analysis via algebraic databases
☆ 5查看技能
GitHub
substitute-eraser
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...
☆ 5查看技能
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
☆ 5查看技能
GitHub
proof-of-frog
Proof-of-Frog Skill 🐸
☆ 5查看技能
GitHub
constant-time-testing
Testing for timing side channels and constant-time implementation verification.
☆ 5查看技能
GitHub
unison
Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refa...
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。