Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
BinCodeQL
BinCodeQL contains 2 collected skills from tosanjay, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
37
updated
2026-05-23
Forks
7
Occupation coverage
1 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
datalog
software-developers
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.
2026-05-23
google-adk
software-developers
Agent Development Kit (ADK) from Google
2026-05-23