Agent Skills by ayehiaa
Showing 98 vetted skills indexed across 1 GitHub repositories.
ayehiaadwarf-expert
Diagnose and extract DWARF debug information from compiled binaries.
ayehiaaask-questions-if-underspecified
Ask 1–5 multiple-choice questions to clarify underspecified software feature requests.
ayehiaaaddress-sanitizer
Detect memory corruption faults in C/C++ binaries with AddressSanitizer.
ayehiaagit-cleanup
Classify local Git branches and worktrees for safe deletion with confirmation gates.
ayehiaaalgorand-vulnerability-scanner
Scan Algorand smart contracts for 11 common vulnerability patterns.
ayehiaaharness-writing
Design fuzzing harnesses that convert raw fuzzer bytes into deterministic inputs.
ayehiaaton-vulnerability-scanner
Scan TON FunC smart contracts for boolean, Jetton, and gas vulnerabilities.
ayehiaaaudit-augmentation
Overlay SARIF and weAudit findings onto Trailmark code graph nodes.
ayehiaaaudit-context-building
Builds line-by-line architectural context with invariants and trust boundaries for security audits.
ayehiaaclaude-in-chrome-troubleshooting
Diagnose Claude MCP Chrome connection failures by disabling conflicting native messaging hosts.
ayehiaazeroize-audit
Detect missing or optimized-away zeroization in C/C++ and Rust using LLVM IR and assembly evidence.
ayehiaaaflpp
Run AFL++ fuzzing campaigns to discover crashes and hangs in C/C++ programs.
ayehiaalibfuzzer
Automate coverage-guided fuzz testing for C and C++ programs with libFuzzer.
ayehiaaseatbelt-sandboxer
Generate deny-by-default macOS Seatbelt sandbox profiles with precise allow rules.
ayehiaatoken-integration-analyzer
Analyze Solidity token implementations for ERC20/ERC721 non-compliance and weird behaviors.
ayehiaaspeckit-git-remote
Detects Git remote URLs and extracts GitHub owner and repository name.
ayehiaaentry-point-analyzer
Identify state-changing external entry points in smart contracts and output a markdown report.
ayehiaaconstant-time-testing
Detect timing side-channel vulnerabilities in cryptographic implementations via statistical testing and dynamic tracing.
ayehiaagenotoxic
Triage mutation-testing survivors and weak-test findings into false positives, missing tests, and fuzzing targets.
ayehiaaspeckit-git-validate
Validate Git feature branch names against sequential or timestamp patterns.
ayehiaalibafl
Build custom coverage-guided fuzzers with modular Rust components.
ayehiaatrailmark
Generate and query a static security call graph from source code.
ayehiaasemgrep-rule-creator
Create Semgrep YAML rules with deterministic vulnerable and safe test cases.
ayehiaamermaid-to-proverif
Converts annotated Mermaid sequence diagrams into ProVerif .pv models for cryptographic protocol verification.