Docs.rs
lemma-0.9.10
lemma 0.9.10
Docs.rs crate page
Apache-2.0
15 September 2026
Links
Repository
crates.io
Source
Owners
benrogmans
Dependencies
anyhow ^1.0
normal
ariadne ^0.6
normal
axum ^0.8.9
normal
base64 ^0.22
normal
chrono ^0.4
normal
clap ^4.0
normal
ignore ^0.4
normal
inquire ^0.9
normal
lemma-engine =0.9.10
normal
lemma-lsp =0.9.10
normal
lemma-openapi =0.9.10
normal
notify ^8
normal
notify-debouncer-mini ^0.7
normal
reqwest ^0.13
normal
rust_decimal ^1.42
normal
serde ^1.0
normal
serde_json ^1.0
normal
serde_urlencoded ^0.7
normal
super-table ^1.1.1
normal
tokio ^1.53.1
normal
tower-http ^0.7
normal
tracing ^0.1
normal
tracing-subscriber ^0.3
normal
walkdir ^2.4
normal
assert_cmd ^2.0
dev
criterion ^0.8
dev
predicates ^3.0
dev
reqwest ^0.13
dev
tempfile ^3.8
dev
Versions
54.9%
of the crate is documented
Go to latest version
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Skip to main content
Crate lemma_cli
lemma_
cli
0.9.10
All Items
Crate Items
Modules
Crate
lemma_
cli
Copy item path
Source
Expand description
Library surface for workspace tooling (LSP) that shares CLI filesystem helpers.
Modules
ยง
deps
install
Shared LemmaBase install for CLI
install
and MCP
install
.
workspace
Workspace disk policy: discover, load, and watch
.lemma
files.