GitHub
captp
CapTP: Capability Transfer Protocol
☆ 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
doc-coauthoring
Guide users through a structured workflow for co-authoring documentation.
☆ 5View skill
GitHub
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation
☆ 5View skill
GitHub
joker-lint
Joker Lint Skill
☆ 5View skill
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
☆ 5View skill
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
☆ 5View skill
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
☆ 5View skill
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
☆ 5View skill
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
☆ 5View skill
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
☆ 5View skill
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
☆ 5View skill
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
☆ 5View skill
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
☆ 5View skill
GitHub
birkhoff-average
Time average of observable along trajectory
☆ 5View skill
GitHub
address-sanitizer
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
☆ 5View skill
GitHub
mruler
mruler - Meta-Ruler Skill Governance
☆ 5View skill
GitHub
cairo-vulnerability-scanner
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet p...
☆ 5View skill
GitHub
catsharp-galois
CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory
☆ 5View skill
GitHub
git-forensics
分析 Git 历史，发现"逻辑耦合"（总一起改的文件）和"热点"（高频修改的复杂模块）。基于 Adam Tornhill 的《Your Code as a Crime Scene》方法论。
☆ 5View skill
GitHub
complexity-guard
The final gatekeeper. Audits RFCs to reject over-engineering, unnecessary dependencies, and resume-driven development.
☆ 5View skill
GitHub
build-inspector
分析构建系统拓扑，识别独立构建单元、多产物风险和版本漂移隐患。
☆ 5View skill
GitHub
system-architect
识别项目中的独立系统，定义系统边界。产出系统架构总览，为后续系统设计奠定基础。
☆ 5View skill
GitHub
runtime-inspector
分析运行时行为、进程边界和 IPC 机制，检测"协议漂移"风险和进程生命周期问题。
☆ 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.