lean-ctx-engine-3.12.3
- lean-ctx-engine 3.12.3
- Docs.rs crate page
- Apache-2.0
- 11 November 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- yvgude
- Dependencies
- anyhow ^1.0 normal
  async-trait ^0.1.91 normal
  axum ^0.8 normal optional
  base64 ^0.22 normal
  blake3 ^1.8 normal
  bytecount ^0.6 normal
  chacha20poly1305 ^0.10 normal
  chrono ^0.4 normal
  clap ^4.5 normal
  dashmap ^6.2.1 normal
  dirs ^6.0 normal
  ed25519-dalek ^2.2 normal
  flate2 ^1.1 normal
  fs2 ^0.4 normal
  futures ^0.3 normal
  gethostname ^1.1 normal
  getrandom ^0.4 normal
  glob ^0.3 normal
  hex ^0.4 normal
  hkdf ^0.13 normal
  hmac ^0.13 normal
  http ^1.4 normal
  ignore ^0.4 normal
  lean-ctx-activity ^0.1.0 normal
  lean-ctx-compress ^0.1.0 normal
  lean-ctx-doc ^0.2.0 normal
  lean-ctx-fs ^0.2.0 normal
  lean-ctx-ocla ^6.0.0 normal
  lean-ctx-patterns ^0.1.0 normal
  lean-ctx-protocol ^0.6.0 normal
  lean-ctx-syntax ^0.1.0 normal
  lean-ctx-workgraph ^0.2.0 normal
  libc ^0.2 normal
  libloading ^0.8 normal optional
  lru ^0.18.1 normal
  lsp-types ^0.97 normal
  md-5 ^0.11 normal
  moka ^0.12 normal
  ndarray ^0.17 normal optional
  ort =2.0.0-rc.12 normal optional
  p256 ^0.14 normal
  pdf-extract ^0.12 normal
  postcard ^1.1 normal
  rayon ^1.12 normal
  regex ^1.12 normal
  reqwest ^0.13 normal
  rmcp ^3 normal
  rpassword ^7.5 normal
  rusqlite ^0.41 normal
  rustc-hash ^2.1 normal
  rustls ^0.23.45 normal optional
  semver ^1.0.28 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.11 normal
  similar ^3.1 normal
  subtle ^2.6 normal
  tar ^0.4 normal
  tempfile ^3.27 normal
  thiserror ^2.0 normal
  tiktoken-rs ^0.12 normal
  tokio ^1.52 normal
  tokio-tungstenite ^0.29 normal optional
  tokio-util ^0.7 normal
  toml ^1.1 normal
  toml_edit ^0.25 normal
  tower ^0.5 normal
  tower-http ^0.7 normal optional
  tracing ^0.1 normal
  tracing-subscriber ^0.3 normal
  tree-sitter ^0.26 normal optional
  tree-sitter-bash ^0.25 normal optional
  unicode-normalization ^0.1 normal
  unicode-width ^0.2 normal
  ureq ^3.3 normal
  urlencoding ^2.1 normal
  uuid ^1 normal
  walkdir ^2.5 normal
  wasmi ^1.1 normal optional
  yaml_serde ^0.10.4 normal
  zeroize ^1 normal
  zip ^9.0.4 normal
  zstd ^0.14.3 normal
  criterion ^0.8 dev
  filetime ^0.2 dev
  insta ^1.48 dev
  jsonschema ^0.46 dev
  lean-ctx-fs ^0.2.0 dev
  proptest ^1.11 dev
  serial_test ^3.5 dev
  tempfile ^3.27 dev
  tokio-rustls ^0.26 dev
  wat ^1.252 dev
  tikv-jemalloc-ctl ^0.7 normal optional
  tikv-jemallocator ^0.7 normal optional
  keyring ^3.6.3 normal
  keyring ^3.6.3 normal
  keyring ^3.6.3 normal
  leanctx-native-storage =0.1.1 normal
  windows-sys ^0.61 normal
- Versions
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module verification_observability

lean_ctx3.12.3

Module verification_observability

Module Items

Structs
Functions

In lean_ctx::core

Module verification_observability

Structs§

VerificationObservabilityV1

Functions§

format_compact
snapshot_v1