lean-ctx-server-3.12.1
- lean-ctx-server 3.12.1
- Docs.rs crate page
- Apache-2.0
- 04 November 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- yvgude
- Dependencies
- anyhow ^1.0 normal
  async-trait ^0.1.91 normal
  base64 ^0.22 normal
  blake3 ^1.8 normal
  bytecount ^0.6 normal
  chrono ^0.4 normal
  dirs ^6.0 normal
  ed25519-dalek ^2.2 normal
  fs2 ^0.4 normal
  futures ^0.3 normal
  glob ^0.3 normal
  ignore ^0.4 normal
  lean-ctx-doc ^0.1.0 normal
  lean-ctx-engine =3.12.1 normal
  lean-ctx-hive =3.12.1 normal
  lean-ctx-hooks =3.12.1 normal
  lean-ctx-ocla ^5.0.0 normal
  lean-ctx-protocol ^0.5.0 normal
  libc ^0.2 normal
  lsp-types ^0.97 normal
  md-5 ^0.11 normal
  rayon ^1.12 normal
  regex ^1.12 normal
  rmcp ^2 normal
  rusqlite ^0.39 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.11 normal
  similar ^3.1 normal
  tempfile ^3.27 normal
  tokio ^1.52 normal
  tokio-util ^0.7 normal
  toml ^1.1 normal
  tracing ^0.1 normal
  tree-sitter ^0.26 normal optional
  uuid ^1 normal
  walkdir ^2.5 normal
  axum ^0.8 dev
  jsonschema ^0.46 dev
  lean-ctx-engine =3.12.1 dev
  lean-ctx-hive =3.12.1 dev
  serial_test ^3.5 dev
  windows-sys ^0.61 normal
- Versions
- 40.07% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

cmd_agent_tools

lean_ctx_server3.12.1

In lean_ctx_server::agent_tools_cmd

lean_ctx_server::agent_tools_cmd

Function cmd_agent_tools

pub fn cmd_agent_tools(args: &[String])