LeanType/.gitignore at main · LeanBitLab/LeanType · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
# Android & Gradle
*.iml
.idea/
.gradle/
.kotlin/
local.properties
build/
app/build/
app/release/
app/.cxx/
app/.attach_*/
tools/make-emoji-keys/build/
tools/make-emoji-keys/bin/

# OS Specific
.DS_Store

# IDE
.vscode/

# Scratch/test files
test_*.java
test_*.kt
test_*.class

# NPM (not used by project)
package.json
package-lock.json

# Ruby/Fastlane
Gemfile
fastlane/Appfile

# Keys & Secrets
*.jks
*.keystore
keystore.properties
signing.properties

# Build logs
*.log

# Scripts & Misc
tools/*.txt
tools/clean_qwencoder_history.sh

# Offline model files & Node
tokenizer.json
node_modules/

# Python Virtual Env
.venv/

# AI Assistants & Context
.aider*
.superpowers/
.qwen/
QWEN.md
**/QWEN.md
AGENTS.md
**/AGENTS.md
GEMINI.md
Pdoc/
.antigravityignore
.geminiignore
.gemini/
help/
.cursor/
.cursorrules
.cline/
cline_docs/
.rocline/
.continue/
prompt_history.json
chat.json
docs/superpowers/
.agents
.kilo/
.antigravitycli/

.env

# AI agent config (personal, not shared)
.pi/