import LeanSemanticSearch.Capability
import LeanSemanticSearch.Canonical
import LeanSemanticSearch.DeclarationFeatures
import LeanSemanticSearch.GoalElaboration
import LeanSemanticSearch.GoalFeatures
import LeanSemanticSearch.Hashing
import LeanSemanticSearch.Json
import LeanSemanticSearch.LeanCompat
import LeanSemanticSearch.ModuleExtraction
import LeanSemanticSearch.RoleFeatures

/-!
Root module for the Lean semantic search package.

The package exports capability metadata, doctor diagnostics, declaration
features, proof-goal features, and the optional streaming declaration-feature
entry point.
-/
