MathRA/Cargo.toml at main · RuoranXu/MathRA · 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
[package]
name = "leangenerator"
version = "0.1.0"
edition = "2021"
description = "Automated Lean 4 mathematical library generation via harness-driven proof synthesis"
license = "MIT"

[[bin]]
name = "leangenerator"
path = "src/main.rs"

[lib]
name = "leangenerator"
path = "src/lib.rs"

[[example]]
name = "analyticgeo"
path = "examples/analyticgeo.rs"

[dependencies]
# Async runtime
tokio = { version = "1", features = ["full"] }

# HTTP client for LLM APIs
reqwest = { version = "0.12", features = ["json", "rustls-tls"], default-features = false }

# Serialization
serde = { version = "1", features = ["derive"] }
serde_json = "1"
toml = "0.8"

# CLI
clap = { version = "4", features = ["derive"] }

# Error handling
anyhow = "1"
thiserror = "1"

# Logging
tracing = "0.1"
tracing-subscriber = { version = "0.3", features = ["env-filter"] }

# Utilities
rand = "0.8"
uuid = { version = "1", features = ["v4"] }
chrono = { version = "0.4", features = ["serde"] }
regex = "1"
walkdir = "2"

[dev-dependencies]
tokio-test = "0.4"