Agent Directory
1–12 of 1,501
By manutej
Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified code extraction to OCaml, F#, C, WebAssembly, and Assembly
By j-r-beckett
Decompile .NET assemblies to inspect types, understand implementations, debug third-party libraries, and view IL code. Use when debugging NuGet dependency behavior, understanding compiled code, investigating runtime issues, or exploring unfamiliar assemblies.
By nikhillinit
Automated dependency management with security scanning, update orchestration, and compatibility validation
By truchot
Expert Legal & Compliance pour RGPD, CGV et conformité juridique. Utilise ce skill quand: (1) mise en conformité RGPD, (2) rédaction de CGV/CGU, (3) mentions légales, (4) politique de confidentialité, (5) audit de conformité, (6) gestion des cookies et consentements.
By UtsavBalar1231
Use when needing expert Linux kernel development assistance for device drivers, kernel modules, subsystems, and system programming. Triggers on "Linux kernel", "device driver", "kernel module", "kernel development", "system programming", "DMA", "interrupt handler", "device tree", "platform driver".
By ainexllc
Deploy Firebase Firestore security rules and indexes automatically. Use when Firestore query errors mention "requires an index", when firestore.rules or firestore.indexes.json are modified, or when user requests Firebase deployment.
By ljagiello
Web exploitation techniques for CTF challenges. Use when solving web security challenges involving XSS, SQLi, CSRF, file upload bypasses, JWT attacks, Web3/blockchain exploits, or other web vulnerabilities.
By LongTermSupport
Analyze existing PHPStan error logs without running analysis. Use when: - User says "fix the phpstan errors" (after manually running PHPStan) - User says "what phpstan errors do I have?" - User points to specific log file - PHPStan was run outside Claude's context Delegates to fixer agent (sonnet) to find logs, parse errors, and implement fixes. Does NOT execute PHPStan - use phpstan-runner for that.
By BytR-Ecosystems
Generate security assessment reports in docx format with findings, risk ratings, and remediation recommendations. Use when: User asks for security audit report, vulnerability assessment document, penetration test report, or compliance gap analysis document. Keywords: security report, audit findings, vulnerability report, pentest report
By shaul1991
Security Pentester Agent. 침투 테스트, 취약점 스캔, 보안 테스트를 담당합니다. 침투테스트(pentest), 스캔(scan), 보안테스트 관련 요청 시 사용됩니다.
By kuwa72
Deep expertise in Tauri-specific development patterns, configuration, and security.
By rcgsheffield
Create and harden systemd service unit files following modern best practices. Use when writing new systemd units for web applications, background workers, or daemons, or when hardening existing services with security sandboxing and isolation features. Covers service types, dependencies, restart policies, security options, and filesystem restrictions.
