Skip to content

feat: add Lean 4 runtime support with runtimes: front matter#208

Merged
jamesadevine merged 6 commits into
mainfrom
feat/lean-first-class-tool
Apr 15, 2026
Merged

feat: add Lean 4 runtime support with runtimes: front matter#208
jamesadevine merged 6 commits into
mainfrom
feat/lean-first-class-tool

fix: use lean.rs constants instead of mcp_required_hosts

982457e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar