.env
.idea/
*.iml
.agent-doc/
.junie/
.tsift/
CLAUDE.local.md
AGENTS.local.md
.agent-doc-private-denylist
plan.md
research.md
tmp/

# Rust
target/
.bin/
.cargo/

# Lean / Lake build artifacts (formal/ proof projects)
.lake/
*.olean
*.ilean
formal/**/lake-manifest.json
