feat: local Lean project search + CSLib search tools - #13

Draft

KrystianNowakowski wants to merge 40 commits into

mainfrom

local-lean-search-tool

Commits on Jun 3, 2026

feat(tools): scaffold local Lean search module (constants + config)

KrystianNowakowski
and
claude
committed
feat(tools): add Lean project-root resolution (up then down)

KrystianNowakowski
and
claude
committed
feat(tools): add Lean file scanning, name matching, line lookup

KrystianNowakowski
and
claude
committed
feat(tools): add LocalLeanSearcher (search, formatting, caps, errors)

KrystianNowakowski
and
claude
committed
refactor(tools): address code review on local Lean search

KrystianNowakowski
and
claude
committed
feat(tools): register and export search_lean_local tool

KrystianNowakowski
and
claude
committed
feat(tools): pass base_folder to factories that declare it

KrystianNowakowski
and
claude
committed
feat(prover): pass base_folder to tool creation

KrystianNowakowski
and
claude
committed
feat(config): add search_lean_local tool config

KrystianNowakowski
and
claude
committed
docs(tools): address final review (register_tool docstring, marker test)

KrystianNowakowski
and
claude
committed
feat(tools): log local Lean search usage at INFO (match LeanSearch)

KrystianNowakowski
and
claude
committed
feat(tools): match multi-word local-search queries by all tokens

KrystianNowakowski
and
claude
committed
feat(config): enable search_lean_local by default

KrystianNowakowski
and
claude
committed
chore(config): drop redundant top-level search_lean_local entry

KrystianNowakowski
and
claude
committed

Commits on Jun 5, 2026

Commits on Jun 8, 2026