Cargo.toml

# SPDX-License-Identifier: MPL-2.0

[package]
name = "echidna-rest"
version = "0.1.0"
edition = "2021"
authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
license = "MPL-2.0"
description = "REST API for ECHIDNA theorem proving platform"
publish = false

[[bin]]
name = "echidna-rest"
path = "main.rs"

[dependencies]
# Web framework
axum = "0.8"
tokio = { version = "1.41", features = ["full"] }
tower = "0.5"
tower-http = { version = "0.7", features = ["cors", "trace"] }

# Serialization
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"

# Error handling
anyhow = "1.0"
thiserror = "2.0"

# Async trait support
async-trait = "0.1"

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

# UUID
uuid = { version = "1.11", features = ["v4", "serde"] }

# OpenAPI
utoipa = { version = "5.3", features = ["axum_extras"] }
utoipa-swagger-ui = { version = "9.0", features = ["axum"] }

# ECHIDNA core
echidna = { path = "../../.." }

# HTTP client (for Julia ML API)
reqwest = { version = "0.12", default-features = false, features = ["json", "rustls-tls"] }