★ 10 · Updated 2026-06-15
Analyze source code and CI/CD configurations for integrity violations and security vulnerabilities
Browse skills that share this capability.
★ 10 · Updated 2026-06-15
Analyze source code and CI/CD configurations for integrity violations and security vulnerabilities
★ 18 · Updated 2026-03-23
Guides discovery and application of project-specific conventions for code patterns, naming, structure, and team practices
★ 64 · Updated 2026-03-22
Automatically repair temporal property violations using model-checking counterexamples
★ 0 · Updated 2026-02-13
Semantic code analysis engine for finding vulnerabilities