GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
☆ 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
linear-logic
Linear Logic Skill
☆ 5View skill
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
☆ 5View skill
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
☆ 5View skill
GitHub
worldmat-tidar
worldmat-tidar
☆ 5View skill
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5View skill
GitHub
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
☆ 5View skill
GitHub
open-games
Open Games Skill (ERGODIC 0)
☆ 5View skill
GitHub
skill-evolution
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
☆ 5View skill
GitHub
scheme
GNU Scheme ecosystem = guile + goblins + hoot + fibers.
☆ 5View skill
GitHub
algorand-vulnerability-scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TE...
☆ 5View skill
GitHub
kuramoto-model
Coupled oscillators with sinusoidal coupling
☆ 5View skill
GitHub
unified-reafference
Cross-agent session database with B3 Poset and Bumpus sheaves
☆ 5View skill
GitHub
criticality-detector
Criticality Detector Skill
☆ 5View skill
GitHub
jacobian
Matrix of partial derivatives for linearization
☆ 5View skill
GitHub
olmoearth-mlx
OlmoEarth MLX: Spatio-Temporal Earth Intelligence
☆ 5View skill
GitHub
eigenvalue-stability
Stability classification via Jacobian eigenvalues
☆ 5View skill
GitHub
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale
☆ 5View skill
GitHub
hyjax-relational
HyJAX Relational Thinking Skill
☆ 5View skill
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference with Gay.jl colors
☆ 5View skill
GitHub
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
☆ 5View skill
GitHub
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
☆ 5View skill
GitHub
audit-prep-assistant
Prepare your codebase for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates com...
☆ 5View skill
GitHub
interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
☆ 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.