It's not an actual file but as a variable in a js file. The last link in the blog post does link to a commit with a file that contains the instructions for Claude, lines 129-737.