GitHub
harness-writing
Writing effective fuzzing harnesses for security testing.
☆ 5查看技能
测试与安全 AI 技能
发现 测试与安全 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 测试与安全
测试与安全 清除筛选
全部技能
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
color-envelope-preserving
GF(3) color envelope preservation across navigator compositions
☆ 5查看技能
GitHub
tailscale-mesh
Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.
☆ 5查看技能
GitHub
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
☆ 5查看技能
GitHub
implicit-coordination
Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.
☆ 5查看技能
GitHub
resource-sharing
Resource Sharing Skill
☆ 5查看技能
GitHub
uv-oneliners
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
☆ 5查看技能
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5查看技能
GitHub
secure-workflow-guide
Guide you through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps doc...
☆ 5查看技能
GitHub
entry-point-analyzer
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-re...
☆ 5查看技能
GitHub
skill-validation-gf3
Skill Validation GF(3) - SLAVE (-1)
☆ 5查看技能
GitHub
mlx-apple-silicon
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
☆ 5查看技能
GitHub
tasks-acset
Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.
☆ 5查看技能
GitHub
pulse-mcp-stream
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
☆ 5查看技能
GitHub
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
☆ 5查看技能
GitHub
ruler-maximal
Ruler Maximal Skill
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。