lean-agent-core-0.2.0
- lean-agent-core 0.2.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- Robby955
- Dependencies
- camino ^1.1 normal
  chrono ^0.4 normal
  ignore ^0.4 normal
  regex ^1.11 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.10 normal
  tempfile ^3.20 normal
  thiserror ^2.0 normal
  tokio ^1.45 normal
  toml ^1.1 normal
  tracing ^0.1 normal
  uuid ^1.17 normal
  walkdir ^2.5 normal
  insta ^1.43 dev
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module discover

lean_agent_core0.2.0

Module discover

Module Items

Functions

In crate lean_agent_core

lean_agent_core

Module discover

Expand description

Lean file discovery.

Functions§

discover_lean_files: Discover Lean source files from a file or directory.