GitHub
frontend-design
Create distinctive, production-grade frontend interfaces with high design
☆ 5View skill
Testing & security AI Skills
Discover Testing & security skills, compare source repositories and read the instructions for each workflow.
Categories: Testing & security
Testing & security Clear filters
Browse skills
GitHub
dynamical-system-functor
Categorical structure of dynamical systems
☆ 5View skill
GitHub
atproto-ingest
Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.
☆ 5View skill
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...
☆ 5View skill
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5View skill
GitHub
topos-of-music
Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration
☆ 5View skill
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...
☆ 5View skill
GitHub
delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
☆ 5View skill
GitHub
synchronization
Convergence to common trajectory in coupled systems
☆ 5View skill
GitHub
gh-interactome
GitHub author interaction network discovery. Maps cobordisms between
☆ 5View skill
GitHub
amp-skill
Interruption pattern detection and retrieval from Amp thread history. Use for analyzing tool rejection patterns and improving agent behavior.
☆ 5View skill
GitHub
internal-comms
Write internal communications using company formats. Use when writing
☆ 5View skill
GitHub
smack-label-orchestrator
Manages SMACK label assignments across apps and kernel. Coordinates mandatory access control labels with process isolation.
☆ 5View skill
GitHub
babashka
Clojure scripting without JVM startup.
☆ 5View skill
GitHub
condensed-anima-qc
Condensed ANIMA on quantum-classical and classical-quantum networks. All skill compositions materialized as s-expressions across the polyglot substrate.
☆ 5View skill
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.
☆ 5View skill
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...
☆ 5View skill
GitHub
crossmodal-gf3
GF(3) → {Tactile, Auditory, Haptic} universal bridge for accessible color perception
☆ 5View skill
GitHub
gay-mcp
Gay.jl MCP server integration for deterministic color generation via SplitMix64
☆ 5View skill
GitHub
tizen-compliance-checker
Validates Tizen app compliance with TCT (Tizen Compliance Tests). Checks conformance to IoT, TV, or mobile profiles.
☆ 5View skill
GitHub
zls-integration
"zls-integration skill"
☆ 5View skill
GitHub
network
Network tools = tailscale + curl + ssh + nmap.
☆ 5View skill
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
☆ 5View skill
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...
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.