[package]
edition = "2021"
name = "vex-protocol-cli"
version = "0.1.8"
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Command-line interface for VEX - verified AI agent tooling"
readme = "README.md"
keywords = [
"ai",
"agents",
"cli",
"verification",
"tooling",
]
categories = [
"command-line-utilities",
"development-tools",
]
license = "Apache-2.0"
repository = "https://github.com/provnai/vex"
[[bin]]
name = "vex"
path = "src/main.rs"
[dependencies.anyhow]
version = "1"
[dependencies.chrono]
version = "0.4"
features = ["serde"]
[dependencies.clap]
version = "4"
features = [
"derive",
"env",
"color",
]
[dependencies.colored]
version = "2"
[dependencies.comfy-table]
version = "7"
[dependencies.serde_json]
version = "1"
[dependencies.sqlx]
version = "0.8"
features = [
"sqlite",
"runtime-tokio",
"macros",
]
[dependencies.tokio]
version = "1"
features = ["full"]
[dependencies.tracing]
version = "0.1"
[dependencies.tracing-subscriber]
version = "0.3"
features = ["env-filter"]
[dependencies.uuid]
version = "1"
features = [
"v4",
"serde",
]
[dependencies.vex-core]
version = "0.1.8"
[dependencies.vex-llm]
version = "0.1.8"
[dependencies.vex-persist]
version = "0.1.8"