Docs.rs
lean-ctx-2.9.13
lean-ctx 2.9.13
Docs.rs crate page
MIT
Links
Homepage
Repository
crates.io
Source
Owners
yvgude
Dependencies
anyhow ^1
normal
chrono ^0.4
normal
dirs ^5
normal
flate2 ^1
normal
ignore ^0.4
normal
md-5 ^0.10
normal
regex ^1
normal
rmcp ^1
normal
serde ^1
normal
serde_json ^1
normal
similar ^2
normal
tar ^0.4.45
normal
tiktoken-rs ^0.6
normal
tokio ^1
normal
toml ^0.8
normal
tracing ^0.1
normal
tracing-subscriber ^0.3
normal
tree-sitter ^0.26
normal
optional
tree-sitter-c ^0.24
normal
optional
tree-sitter-c-sharp ^0.23
normal
optional
tree-sitter-cpp ^0.23
normal
optional
tree-sitter-go ^0.25
normal
optional
tree-sitter-java ^0.23
normal
optional
tree-sitter-javascript ^0.25
normal
optional
tree-sitter-kotlin-ng ^1.1
normal
optional
tree-sitter-php ^0.24
normal
optional
tree-sitter-python ^0.25
normal
optional
tree-sitter-ruby ^0.23
normal
optional
tree-sitter-rust ^0.24
normal
optional
tree-sitter-swift ^0.7
normal
optional
tree-sitter-typescript ^0.23
normal
optional
ureq ^3.3.0
normal
walkdir ^2
normal
zip ^8.4.0
normal
Versions
5.04%
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
Module cli
lean_
ctx
2.9.13
Module cli
Module Items
Functions
In crate lean_
ctx
lean_ctx
Module
cli
Copy item path
Source
Functions
ยง
cmd_
benchmark
cmd_
cheatsheet
cmd_
config
cmd_
deps
cmd_
diff
cmd_
discover
cmd_
find
cmd_
grep
cmd_
init
cmd_ls
cmd_
read
cmd_
session
cmd_
sessions
cmd_
slow_
log
cmd_tee
cmd_
wrapped
load_
shell_
history_
pub