[codex] add Aristotle interactive API commands

[chboishabba]

Summary

Adds Rust CLI support for Aristotle's current project-scoped interactive API workflow:

• top-level version, list, submit, ask, tasks, and show commands
• single-project download <project-id> support alongside the existing bulk download mode
• typed API response helpers for projects, tasks, events, version metadata, and JSON-aware API errors
• opt-in persisted API keys via configure set -k KEY --persist
• README documentation for the current API endpoint model and official aristotlelib comparison

Why

The Rust CLI only handled result management and bulk downloads, while the current Aristotle SDK exposes project creation, follow-up prompts, task polling, event display, and version metadata. This brings the Rust command surface closer to that current workflow.

Validation

• cargo fmt
• cargo test (45 passed)
• cargo run -- --help
• cargo run -- submit --help
• cargo run -- download --help
• cargo run -- list --help
• cargo run -- version returned Lean leanprover/lean4:v4.28.0 and mathlib hash 8f9d9cff6bd728b17a24e163c9402775d9e6a365

Notes

Authenticated live submit, ask, and list were not run to avoid consuming quota or depending on local API-key state.

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 6ef46e9c-a5c7-4ead-b931-b09ad36ba3a7

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[jmikedupont2]

Thanks for your prompt submission! I will review soon!