Devirtualization pipeline for VMProtect-style binaries: dispatcher/handler slicing, two-generation P-code IR, LLM-context compression, Z3 equivalence verdicts
Repository retrieval and context engine for Claude Code and Codex: finds relevant code, reuses project knowledge, and pairs each task with specialist skills and verification.