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

# Rust
target/
.bin/
.cargo/

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