Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
BinCodeQL
BinCodeQL contient 2 skills collectées depuis tosanjay, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
37
mis à jour
2026-05-23
Forks
7
Couverture métier
1 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
datalog
Développeurs de logiciels
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
Développeurs de logiciels
Agent Development Kit (ADK) from Google
2026-05-23