LucasArtsifier - Automatically detects and patches softlocks in Sierra adventure games

Show HN: Automatically detect and patch walking-dead states in Sierra games

LucasArtsifier is a static analysis tool for classic Sierra adventure games. It decompiles game scripts, uses abstract interpretation to build a graph of game states, and identifies softlocks—situations where the game remains playable but winning becomes impossible. The tool then derives, verifies, and compiles guards that prevent these dead ends, patching the game without modifying original files. It has been tested on four games across two engine generations, with no game-specific code. Users can control guard behavior in-game, and the tool is open-source, requiring only Python and standard tools.