GitHub
compositional-acset-comparison
Compare data structures (DuckDB, LanceDB) via ACSets with persistent homology coverage analysis and geometric morphism translation.
☆ 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
voice-channel-uwd
Voice Channel UWD Skill
☆ 5View skill
GitHub
blackhat-go
Go-based security techniques from "Black Hat Go" extended with macOS, Cloud, Mobile, IoT, Supply Chain, API, Web3, AI/ML, Red Team, ATT&CK, and LLM chapters. 186 techniques, 36 tools, 33 defenses across 37 chap...
☆ 5View skill
GitHub
worlding
Gay.jl world_ pattern: persistent composable state builders with GF(3) conservation, Möbius invertibility, and Narya verification
☆ 5View skill
GitHub
Comprehensive PDF manipulation toolkit for extracting text and tables,
☆ 5View skill
GitHub
sicmutils
SICMUtils/Emmy - Clojure library for symbolic mathematics, automatic differentiation, and classical mechanics. Bridges SICM concepts to executable computation via SRFI-compatible abstractions.
☆ 5View skill
GitHub
sandbox-escape-detector
Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities. Validates process isolation and capability limitations.
☆ 5View skill
GitHub
asi-agent-orama
ASI Agent-O-Rama Skill
☆ 5View skill
GitHub
slime-lisp
SLIME integration for Common Lisp development
☆ 5View skill
GitHub
triad-interleave
Interleave three deterministic color streams into balanced schedules
☆ 5View skill
GitHub
rick-roderick
Rick Roderick: Philosophy Under Siege
☆ 5View skill
GitHub
three-match
3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.
☆ 5View skill
GitHub
rust
Rust ecosystem = cargo + rustc + clippy + rustfmt.
☆ 5View skill
GitHub
bidirectional-lens-logic
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
☆ 5View skill
GitHub
chaotic-attractor
Strange attractor with sensitive dependence on initial conditions
☆ 5View skill
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5View skill
GitHub
academic-research
Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding pap...
☆ 5View skill
GitHub
plurigrid-asi-integrated
Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
☆ 5View skill
GitHub
spec-to-code-compliance
Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks f...
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge
☆ 5View skill
GitHub
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest
☆ 5View skill
GitHub
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers
☆ 5View skill
GitHub
goblins
Distributed object capability system (6.5K lines info).
☆ 5View skill
GitHub
saddle-node
Bifurcation creating/destroying equilibrium pair
☆ 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.