ResearchMathAgent/.gitignore at main · sjtuytc/ResearchMathAgent · 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
85
86
87
88
89
90
91
# ------------------------------
# LaTeX build artifacts
# ------------------------------
*.aux
*.bbl
*.bcf
*.blg
*.fdb_latexmk
*.fls
*.lof
*.log
*.lot
*.out
*.run.xml
*.synctex.gz
*.toc
*.xdv
/main.pdf

# ------------------------------
# Python build artifacts
# ------------------------------
__pycache__/
*.py[cod]
*.egg-info/
.pytest_cache/
.mypy_cache/
.ruff_cache/
build/
dist/

# Beamer / presentation artifacts
*.nav
*.snm
*.vrb

# Temporary / backup files
*~
*.swp
*.swo
*.tmp
*.bak

# OS / editor files
.DS_Store
Thumbs.db
.idea/
.vscode/
.venv/
.deps/

# Google Cloud service account key files (never commit credentials)
gcloud-key*.json
*-service-account.json
*-service-account-key.json
webapp/gcp_key.json
service_account*.json

# Web app agent scratch workspaces
webapp/.runs/
# Issue tracker: commit JSON files; exclude large working proofs and legacy summaries
webapp/issues/**/*.tex
webapp/issues/**/*.md
webapp/issues/**/*.pdf

# Generated daily reports (keep the dir + its README)
documents/*
!documents/README.md
# Keep the RMA supplementary (ACL system-details paper) — important, version it
!documents/supplementary/
!documents/supplementary/**

# Data and solver outputs (large, not versioned here)
data/
outputs/

# Except the seed dataset metadata (small, should be in repo)
!data/datasets/
!data/datasets/first_proof_1/
!data/datasets/first_proof_1/metadata.json
!data/datasets/first_proof_1/problems/
!data/datasets/first_proof_1/problems/*.json
!data/datasets/first_proof_2/
!data/datasets/first_proof_2/metadata.json
!data/datasets/first_proof_2/problems/
!data/datasets/first_proof_2/problems/*.json

# Local secrets (ANTHROPIC_API_KEY etc.)
.env.local

logs