[package]
edition = "2021"
rust-version = "1.88"
name = "aristo-cli"
version = "0.1.0"
authors = ["Aretta <hello@aretta.ai>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Aristo CLI binary (the `aristo` command)."
homepage = "https://github.com/aretta-ai/aristo"
documentation = "https://docs.rs/aristo-cli"
readme = "README.md"
keywords = [
"annotation",
"verification",
"intent",
"proof",
"sdk",
]
categories = [
"command-line-utilities",
"development-tools",
]
license = "MIT"
repository = "https://github.com/aretta-ai/aristo"
[lib]
name = "aristo_cli"
path = "src/lib.rs"
[[bin]]
name = "aristo"
path = "src/main.rs"
[[test]]
name = "auth_command"
path = "tests/auth_command.rs"
[[test]]
name = "auth_oauth_login"
path = "tests/auth_oauth_login.rs"
[[test]]
name = "binary_smoke"
path = "tests/binary_smoke.rs"
[[test]]
name = "canon_accept_command"
path = "tests/canon_accept_command.rs"
[[test]]
name = "canon_critique_command"
path = "tests/canon_critique_command.rs"
[[test]]
name = "canon_list_show_refresh_command"
path = "tests/canon_list_show_refresh_command.rs"
[[test]]
name = "canon_migrate_command"
path = "tests/canon_migrate_command.rs"
[[test]]
name = "canon_reject_command"
path = "tests/canon_reject_command.rs"
[[test]]
name = "canon_show_trust_card"
path = "tests/canon_show_trust_card.rs"
[[test]]
name = "canon_stamp_command"
path = "tests/canon_stamp_command.rs"
[[test]]
name = "canon_status_health"
path = "tests/canon_status_health.rs"
[[test]]
name = "canon_unbind_request_verify_command"
path = "tests/canon_unbind_request_verify_command.rs"
[[test]]
name = "cli_scenarios"
path = "tests/cli_scenarios.rs"
[[test]]
name = "critique_session_kind_integration"
path = "tests/critique_session_kind_integration.rs"
[[test]]
name = "critique_staged_filter"
path = "tests/critique_staged_filter.rs"
[[test]]
name = "graph_svg"
path = "tests/graph_svg.rs"
[[test]]
name = "index_command"
path = "tests/index_command.rs"
[[test]]
name = "init_command"
path = "tests/init_command.rs"
[[test]]
name = "lang_command"
path = "tests/lang_command.rs"
[[test]]
name = "lint_command"
path = "tests/lint_command.rs"
[[test]]
name = "list_command"
path = "tests/list_command.rs"
[[test]]
name = "pre_commit_hook"
path = "tests/pre_commit_hook.rs"
[[test]]
name = "preflight_wiring"
path = "tests/preflight_wiring.rs"
[[test]]
name = "proof_session_kind_integration"
path = "tests/proof_session_kind_integration.rs"
[[test]]
name = "session_command"
path = "tests/session_command.rs"
[[test]]
name = "session_guard_integration"
path = "tests/session_guard_integration.rs"
[[test]]
name = "show_command"
path = "tests/show_command.rs"
[[test]]
name = "stamp_command"
path = "tests/stamp_command.rs"
[[test]]
name = "status_command"
path = "tests/status_command.rs"
[[test]]
name = "verify_canon_dispatch"
path = "tests/verify_canon_dispatch.rs"
[[test]]
name = "verify_command"
path = "tests/verify_command.rs"
[dependencies.aristo]
version = "0.1.0"
[dependencies.aristo-core]
version = "0.1.0"
[dependencies.clap]
version = "4.5"
features = ["derive"]
[dependencies.dirs]
version = "5.0"
[dependencies.getrandom]
version = "0.2"
[dependencies.proc-macro2]
version = "1.0"
features = ["span-locations"]
[dependencies.serde]
version = "1.0"
features = ["derive"]
[dependencies.serde_json]
version = "1.0"
[dependencies.syn]
version = "2.0"
features = [
"full",
"extra-traits",
"visit",
]
[dependencies.time]
version = "0.3"
features = ["formatting"]
[dependencies.toml]
version = "0.8"
[dependencies.walkdir]
version = "2.5"
[dev-dependencies.assert_cmd]
version = "2.0"
[dev-dependencies.predicates]
version = "3.1"
[dev-dependencies.serde_json]
version = "1.0"
[dev-dependencies.tempfile]
version = "3.10"
[dev-dependencies.trycmd]
version = "0.15"
[lints.clippy.all]
level = "deny"
priority = -1
[lints.rust]
unsafe_code = "forbid"