tosanjay

Souffle Datalog for binary analysis. Use this skill when writing, debugging, or reasoning about Datalog rules and fact schemas for binary program analysis — especially rules over MLIL-SSA facts extracted from Binary Ninja. Trigger on: writing .dl files, Souffle syntax questions, defining Datalog relations for binaries, composing taint/reachability/lifecycle queries, fact schema design, debugging Souffle errors, or any task involving Datalog-based reasoning over disassembled code.

Agent Development Kit (ADK) from Google

Bring up and run IJON-Reloaded (an LLM as the IJON fuzzing analyst) on a new C/C++ library. Use this skill when the user wants to fuzz a library with IJON state-annotations on a target it has never seen: standing up a workspace from a cloned repo + a fuzz harness, getting an instrumented build to compile (the "build-doctor"), wiring the coverage/diversity reward and localization, and driving the diagnose -> annotate -> keep/revert loop. Trigger on: "fuzz <lib> with IJON", "set up an IJON target", "bring up <library> for IJON-Reloaded", "the build won't compile for the IJON harness", or running scripts/run_target.py / scripts/bringup.py.