Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
BinCodeQL
BinCodeQL contiene 2 skills recopiladas de tosanjay, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
2
Stars
37
actualizado
2026-05-23
Forks
7
Cobertura ocupacional
1 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
datalog
Desarrolladores de software
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
Desarrolladores de software
Agent Development Kit (ADK) from Google
2026-05-23