GitHub
frontend-design
Create distinctive, production-grade frontend interfaces with high design
☆ 5查看技能
测试与安全 AI 技能
发现 测试与安全 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 测试与安全
测试与安全 清除筛选
全部技能
GitHub
dynamical-system-functor
Categorical structure of dynamical systems
☆ 5查看技能
GitHub
atproto-ingest
Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.
☆ 5查看技能
GitHub
semgrep-rule-creator
Create custom Semgrep rules for detecting bug patterns and security vulnerabilities. This skill should be used when the user explicitly asks to "create a Semgrep rule", "write a Semgrep rule", "make a Semgrep r...
☆ 5查看技能
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5查看技能
GitHub
topos-of-music
Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration
☆ 5查看技能
GitHub
cosmos-vulnerability-scanner
Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (proj...
☆ 5查看技能
GitHub
delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
☆ 5查看技能
GitHub
synchronization
Convergence to common trajectory in coupled systems
☆ 5查看技能
GitHub
gh-interactome
GitHub author interaction network discovery. Maps cobordisms between
☆ 5查看技能
GitHub
amp-skill
Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.
☆ 5查看技能
GitHub
internal-comms
Write internal communications using company formats. Use when writing
☆ 5查看技能
GitHub
smack-label-orchestrator
Manages SMACK label assignments across apps and kernel. Coordinates mandatory access control labels with process isolation.
☆ 5查看技能
GitHub
babashka
Clojure scripting without JVM startup.
☆ 5查看技能
GitHub
condensed-anima-qc
Condensed ANIMA on quantum-classical and classical-quantum networks. All skill compositions materialized as s-expressions across the polyglot substrate.
☆ 5查看技能
GitHub
load-skills
Bootstrap skill loader for instance startup. Pulls fresh skills from plurigrid/asi and loads GF(3)-balanced startup triads. MUST run at beginning of every new instance.
☆ 5查看技能
GitHub
exo-distributed
Distributed LLM inference across Apple Silicon clusters with exo. Run models across Mac Studios via Thunderbolt RDMA, auto peer discovery, and MLX sharding. Use for multi-device inference, model parallelism, or...
☆ 5查看技能
GitHub
crossmodal-gf3
GF(3) → {Tactile, Auditory, Haptic} universal bridge for accessible color perception
☆ 5查看技能
GitHub
gay-mcp
Gay.jl MCP server integration for deterministic color generation via SplitMix64
☆ 5查看技能
GitHub
tizen-compliance-checker
Validates Tizen app compliance with TCT (Tizen Compliance Tests). Checks conformance to IoT, TV, or mobile profiles.
☆ 5查看技能
GitHub
zls-integration
"zls-integration skill"
☆ 5查看技能
GitHub
network
Network tools = tailscale + curl + ssh + nmap.
☆ 5查看技能
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
☆ 5查看技能
GitHub
depth-search
Deep multi-source research combining academic MCPs (arxiv, semantic-scholar, paper-search, deepwiki), Exa semantic search, and local ~/.topos knowledge base. Use for comprehensive research requiring multiple so...
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。