Skill Not Found

Could not find skill "references/lean-lsp-tools-api.md"