Skip to content

feat(mcp): add get_why to the lean profile; present get_answer as the entry point#889

Merged
RaghavChamadiya merged 1 commit into
mainfrom
feat/mcp-lean-get-why
Jul 17, 2026
Merged

feat(mcp): add get_why to the lean profile; present get_answer as the entry point#889
RaghavChamadiya merged 1 commit into
mainfrom
feat/mcp-lean-get-why

Commits

Commits on Jul 17, 2026