Skip to content

스킬 검색.../

Agent Skill Search Engine

검색

검색
카테고리
직업

About

About
Privacy
Terms

© 2026 Skills Pool. All rights reserved.

Lean Lsp | Skills Pool

스킬 파일

Lean Lsp

Query Lean goals, diagnostics and other information.

adamtopaz0 스타2026. 2. 5.

직업: 소프트웨어 개발자
카테고리: 데이터 분석

스킬 내용

Query Lean goals and diagnostics at a 1-based line/column.
Use the daemon socket to fetch results quickly (auto-starting if needed).
Provide JSON output when needed for structured processing.

When to use me

Use this when an agent needs goal state, term goals, or diagnostics from a Lean file at a specific cursor position.

Commands

Start the daemon:
- scripts/lean-lsp start --root .
Check daemon status:
- scripts/lean-lsp check
Stop the daemon:
- scripts/lean-lsp stop
Plain goal:
- scripts/lean-lsp plain-goal <file> <line> <col>
Term goal:
- scripts/lean-lsp plain-term-goal <file> <line> <col>
Hover info:
- scripts/lean-lsp hover <file> <line> <col>
Diagnostics at a position:

관련 스킬

빠른 설치

Lean Lsp

npx skillvault add adamtopaz/adamtopaz-lean-lsp-skill-md

Skill 다운로드 저장소 열기

작성자: adamtopaz
스타: 0
업데이트: 2026. 2. 5.
직업

이 페이지의 내용

01When to use me 02Commands

scripts/lean-lsp diagnostics <file> <line> <col>

All of the above:

scripts/lean-lsp all <file> <line> <col>

Raw LSP request:

scripts/lean-lsp request --method <method> --params <json>

Notification:

scripts/lean-lsp notify --method <method> --params <json>

Batch ops:

scripts/lean-lsp batch --ops @ops.json

JSON output (structured):

add --json

Notes

The daemon auto-starts when you run queries, or you can start it manually.
Auto-start uses the current working directory and default server command.
For custom root or server cmd, run scripts/lean-lsp start first.
Socket path defaults to LEAN_LSP_SOCKET or ./lean-lsp.sock.
This skill bundles the lean-lsp script next to SKILL.md.
scripts/lean-lsp is a wrapper that calls the bundled script.

데이터 분석

Data Analyst

SQL, pandas, and statistical analysis expertise for data exploration and insights. Use when: analyzing data, writing SQL queries, using pandas, performing statistical analysis, or when user mentions data analysis, SQL, pandas, statistics, or needs help exploring datasets.

Shubhamsaboo106.3k

금융 및 투자

Project Planner

Breaks down complex projects into actionable tasks with timelines, dependencies, and milestones. Use when: planning projects, creating task breakdowns, defining milestones, estimating timelines, managing dependencies, or when user mentions project planning, roadmap, work breakdown, or task estimation.

Shubhamsaboo106.3k

데이터 분석

Visualization Expert

Chart selection and data visualization guidance for effective data communication. Use when: creating visualizations, choosing chart types, designing dashboards, or when user mentions data visualization, charts, graphs, or needs help presenting data visually.

Shubhamsaboo106.3k

데이터 분석

KPI Dashboard Design

Design effective KPI dashboards with metrics selection, visualization best practices, and real-time monitoring patterns. Use this skill when building an executive SaaS metrics dashboard tracking MRR, churn, and LTV/CAC ratios; designing an operations center with live service health and request throughput; creating a cohort retention analysis view for a product team; or debugging a dashboard where metrics contradict each other due to inconsistent calculation methodology.

데이터 분석

Market Sizing Analysis

Calculate TAM/SAM/SOM for market opportunities using top-down, bottom-up, and value theory methodologies. Use this skill when sizing markets, estimating addressable revenue, validating market opportunity for a new venture, or building investor-ready market analysis for a startup pitch or business plan.

콘텐츠 제작

Data Storytelling

Transform data into compelling narratives using visualization, context, and persuasive structure. Use when presenting analytics to stakeholders, creating data reports, or building executive presentations.

소프트웨어 개발자