workers-app-tester

A testing skill suite that helps coding agents write high-value tests focused on catching real regressions, with five command modes for test discovery, strategy selection, workload generation, test review, and suite health auditing.

Gives coding agents a testing workflow focused on finding real regressions that users and maintainers care about, with five command modes: scan, test, workload generation, review, and suite health auditing.

A structured security audit skill for Solana smart contracts covering 25 vulnerability types, systematically walking through attack vectors from missing signer checks and PDA validation to re-initialization attacks and arithmetic overflows.

Part of the workers.io software correctness skills suite, providing Lean 4 proof verification and repair capabilities as a Claude Code slash command for formal verification of mathematical proofs and program correctness.

Part of the workers.io spec collection for software correctness, this skill benchmarks whether an AI agent skill actually improves outcomes, alongside tools for formal verification, model checking, and security auditing.

Coverage-guided fuzzing workflow for C/C++, Rust, and Go targets that runs a deep audit pass to locate suspicious code, writes targeted harnesses, builds with sanitizers, and reports crashes with full context.

A code auditing skill that performs deep line-by-line analysis using First Principles, 5 Whys, and 5 Hows methodologies to locate suspicious code and potential fuzz targets. Part of a software correctness toolkit covering formal verification, model checking, and security auditing.

A testing skill that helps AI agents find unknown bugs before release by targeting edge cases where rare production bugs hide. Focuses on real behavioral testing rather than implementation-detail assertions or mocked-away risks.

Skill