Skip to content

Fix MCP tool table to match actual @leanspec/mcp v0.2.27 tools

da240d8
Select commit
Loading
Failed to load commit list.
Merged

Consolidate agent docs and add LeanSpec MCP server configuration #22

Fix MCP tool table to match actual @leanspec/mcp v0.2.27 tools
da240d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar