メニュー
Evidence-driven PlayStation 1 reverse-engineering with Rizin, runtime traces, symbols, overlays, and matching decompilation. Use only when the user explicitly invokes `$psx-rizin` or asks to load this skill.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/loopyd/bof3-decompilation --skill psx-rizinコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
Compacts and organizes project agent and skill Markdown under .pi/agents and .pi/skills without weakening contracts. Use after any agent/skill edit, or invoke directly to clean the full recursive tree by default.
Repairs evidence-approved BOF3 symbol, type, metadata, retained-lift, relocation-batch, and byte-safe cosmetic identities with rollback. Use for only an explicit identity-maintenance route; exclude semantic lift rewrites, target relocation, silent route switching, and ordinary reverse or review tasks.
Autonomously lifts a serial BOF3 batch to reviewed exact byte matches. Selects candidates, dispatches bounded executor/reviewer agents, and commits only user-authorized reviewed exact lifts. Use for a reviewed batch; use `/skill:bof3-re` for one hand-guided lift.
| name | psx-rizin |
| description | Evidence-driven PlayStation 1 reverse-engineering with Rizin, runtime traces, symbols, overlays, and matching decompilation. Use only when the user explicitly invokes `$psx-rizin` or asks to load this skill. |
| license | MIT |
| compatibility | Linux, macOS, or WSL; Python 3.10+; Rizin recommended; optional rz-ghidra and emulator/decompilation tools. |
| metadata | {"author":"OpenAI","version":"1.0.0","invocation":"$psx-rizin","platform":"Sony PlayStation / PS1 / PSX"} |
Explicit invocation only. Findings reproducible from authorized machine code + runtime evidence. Analyzer/decompiler/signature output = hypothesis until corroborated.
out/reverse/snapshots/<encoded-target>.json (bin/rz-project), index out/index/ (bin/rev-query), matching
out/matching/, out/permuter/, out/asm-diff/. Prefer wired bin/ entrypoints that cover the task.Read-only summary before analysis/index work (one target or all):
python3 .pi/skills/psx-rizin/scripts/snapshot-status.py [TARGET]
Emits manifest identity, binary hash, snapshot freshness, index readiness as one JSON; never runs analysis or changes files. Stale: bin/rz-project analyze TARGET, then bin/index.
| Call | Action |
|---|---|
$psx-rizin inventory <disc-or-directory> | disc inventory |
$psx-rizin inspect-exe <PS-X-EXE> | EXE parse |
$psx-rizin analyze <binary> [base-address] | static analysis |
$psx-rizin analyze-overlays <directory> | overlay analysis |
$psx-rizin function <binary> <runtime-address> [base-address] | function + callers |
$psx-rizin symbols <symbol-source> | symbol import |
$psx-rizin trace <replay-or-scenario> | runtime trace |
$psx-rizin replay-coverage <replay-directory> | replay coverage |
$psx-rizin build-diff [function-or-target] | matching diff |
$psx-rizin audit <case-directory> | case audit |
Free-form requests valid; state assumptions; don't block on minor syntax ambiguity.
| Topic | File |
|---|---|
| Full procedure | WORKFLOW.md |
| Addressing/ABI/delay slots | PSX_ABI_AND_ADDRESSING.md |
| Rizin commands/staged analysis | RIZIN_PLAYBOOK.md |
| Symbols/signatures/types | SYMBOLS_SIGNATURES_AND_TYPES.md |
| Overlays/assets | OVERLAYS_AND_ASSETS.md |
| Runtime/replay coverage | RUNTIME_AND_REPLAYS.md |
| Matching decompilation | DECOMP_BUILD_DIFF.md |
| Command lookup | COMMAND_REFERENCE.md |
| Source catalog | MANUALS_AND_SOURCES.md |
Broad case: read WORKFLOW.md. Focused task: matching reference only, then bundled script help.
Report needed evidence only: input identity + proven address model; target/overlay-qualified findings + confidence; relevant static + runtime evidence; matching status when requested; contradictions/unknowns/next experiment. Mark unsupported conclusions [INFERRED] with the evidence chain.
Broad-case completion verifies: inventory, address mapping, overlay identity, function boundaries, indirect control flow, symbol provenance, runtime coverage, decompiler reconciliation, exclusion of proprietary inputs from distributable artifacts.
Repo-wired: bin/rz-project — target-qualified analyze/status/open (writes out/reverse/snapshots/<encoded-target>.json); bin/rev-query — cross-target index (out/index/). Lift-side (asm-diff/byte-match/permute/decomp-status/symbols/splat) follow the bof3-re evidence table.
Note: legacy
bin/psx-rizin,bin/lift,bin/build-diff, and genericscripts/*.pyhelpers are NOT wired here.scripts/snapshot-status.pyis the supported read-only readiness check above; usebin/entrypoints for analysis, symbol import, replay coverage.