Find the skill for your next task.

Browse reusable Agent Skills, each with a clear purpose and practical guidance.

simplify

Reduce formula complexity using Z3 tactic chains. Supports configurable tactic pipelines for boolean, arithmetic, and bitvector simplification.

12.46k repo starsObserved in 2 repos
Testing & Quality

static-analysis

Run Clang Static Analyzer (scan-build) on Z3 source and log structured findings to z3agent.db.

12.46k repo starsObserved in 2 repos
Testing & Quality

fuzzing-go-expert

Use this skill to fuzz open source Go software projects.

12.43k repo starsObserved in 1 repos
Testing & Quality

fuzzing-jvm-expert

Use this skill to fuzz open source JVM projects (Java, Kotlin, Scala, etc.) using Jazzer.

12.43k repo starsObserved in 1 repos
Testing & Quality

fuzzing-python-expert

Use this skill to fuzz open source Python software projects using Atheris.

12.43k repo starsObserved in 1 repos
Testing & Quality

fuzzing-rust-expert

Use this skill to fuzz open source Rust software projects.

12.43k repo starsObserved in 1 repos
Testing & Quality

oss-fuzz-engineer

Use this skill to interact with the OSS-Fuzz infrastructure.

12.43k repo starsObserved in 1 repos
Testing & Quality

extend-commands-api

Add or extend Redis commands in the Jedis client API — a new core command, a family of new commands, an extension to an existing command's options, or a module command (Search/TimeSeries/JSON/Bloom). Gathers evidence (Redis server PR, HLD document), plans the full implementation matrix in plan mode, then implements with unit and integration tests following Jedis maintainer conventions.

12.35k repo starsObserved in 1 repos
Development