**/.DS_Store
**/__pycache__/
dist
proofOutput.txt
.venv
.claude
.vscode
.worktrees
extras

# VSCode extension
vscode-extension/node_modules/
vscode-extension/out/
vscode-extension/*.vsix
