# Session-local Claude Code state — not part of the plugin
.remember/

# OS / editor
.DS_Store
*.swp
*.swo

# Editor and per-user Claude Code state
.vscode/
*.code-workspace
.claude/settings.local.json

# bun deps for the vendored poteto-mode scripts (bootstrap.ts installs them on first run)
plugins/pstack/skills/poteto-mode/scripts/node_modules/

# bun installs the typebox peer for the Pi extension tests
/node_modules/

# Lake build output for the Lean models
/lean/.lake/
