メニュー
Query unicorn behavioral test results from the database. Filter functions by verdict (EQUIVALENT/DIVERGENT), divergence class (logic/build_env/regalloc), and unit. Use to find functions with real behavioral bugs to fix.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Decompile and analyze a function from Ghidra. Shows decompiled C code, switch statements, and cast operations. Use when investigating function structure or debugging type issues. Automatically resolves symbol names to correct functions. Need to skip sandbox to access Ghidra over network.
Run decomp-synth (the guided source-synthesis permuter) on a function — beam search over 112 behaviour-neutral C++ transforms (signed/unsigned, declaration reorder, branch polarity, variable extraction, …), each scored with objdiff, to drive a near-match toward 100%. Use when a function is below 100% and you want to automatically try source variations.
Diff stack-frame layouts between target and base for a function. Labels base-side slots with source variable names from a MSVC /Z7 CodeView recompile. Identifies SWAPPED pairs (decl-reorder candidates), SHIFTED slots, DIFFER (different variables in same slot), and TGT_ONLY / BASE_ONLY (extra/missing locals). Filters out callee-save slots.
Dump vtable layout for a class from original COFF .obj files. Maps each slot to the actual virtual function symbol AND its declaration-order name from the class header, so ICF-merged entries (OnlyReturns / merged_Returns1 / etc.) are still identifiable. Use when debugging vtable offset mismatches in objdiff.
Diff a DATA symbol (vtable ??_7Class@@6B@, RTTI, pointer/jump table, string pool, static initializer) between the target and the decompiled build, showing byte differences and — for each relocation slot — which function/symbol each side points to. Use when a data symbol is below 100%, or to find which vtable slot resolves to the wrong function. The MCP run_objdiff wrapper does not expose data diffs, so this calls objdiff-cli directly.
Run DC3's original Xbox 360 debug XEX on Xenia (Linux/Vulkan) and navigate to gameplay. Captures headless frames of menus, song select, loading, and in-game venues with 3D characters. Use when testing original binary behavior, capturing IK telemetry, or comparing Xbox vs native rendering.
| name | unicorn-query |
| description | Query unicorn behavioral test results from the database. Filter functions by verdict (EQUIVALENT/DIVERGENT), divergence class (logic/build_env/regalloc), and unit. Use to find functions with real behavioral bugs to fix. |
| argument-hint | [--class logic|build_env|regalloc] [--verdict DIVERGENT|EQUIVALENT] [--unit pattern] [--status workable|complete|all] [--limit N] [--summary-only] |
| allowed-tools | Bash(python3 scripts/unicorn/query.py *) |
Query the decomp database for unicorn behavioral test metadata. Surfaces functions by their runtime behavioral equivalence status.
$ARGUMENTS
Build the command from the arguments and run:
python3 scripts/unicorn/query.py $ARGUMENTS
If no arguments were provided, default to --verdict DIVERGENT to show all divergent functions.
Present results to the user. Key things to call out:
__FILE__ strings, merged symbols)logic divergence may have hidden behavioral bugs/unicorn-query --class logic — all logic-divergent functions (primary work targets)/unicorn-query --class logic --status workable — logic bugs not yet marked done/unicorn-query --class logic --unit system/char/* — logic bugs in a specific subsystem/unicorn-query --verdict EQUIVALENT --status workable — behaviorally correct but asm not matching yet/unicorn-query --summary-only — just show counts by verdict/class/unicorn-query --class build_env --summary-only — count of environment-only issues