Lsp Verify

What it does

When your agent uses it

• Tasks that involve Test generation
• Tasks that involve Refactoring

Example prompts

• “/lsp-verify”

Requirements

• Compatibility (from SKILL.md): Requires the agent-lsp MCP server (github.com/blackwell-systems/agent-lsp)
• Pre-approved tools (allowed-tools): mcp__lsp__get_diagnostics, mcp__lsp__run_build, mcp__lsp__run_tests, mcp__lsp__get_tests_for_file, mcp__lsp__suggest_fixes, mcp__lsp__format_document, mcp__lsp__apply_edit

What it can do on your machine

Read from SKILL.md and the folder at commit 38ca488. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves these tools, so the agent can use them without asking each time:

  • mcp__lsp__get_diagnostics
  • mcp__lsp__run_build
  • mcp__lsp__run_tests
  • mcp__lsp__get_tests_for_file
  • mcp__lsp__suggest_fixes
  • mcp__lsp__format_document
  • mcp__lsp__apply_edit

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  Shell commands in SKILL.md call:

  • go

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  No URLs in SKILL.md.

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

• Compatibility

  Requires the agent-lsp MCP server (github.com/blackwell-systems/agent-lsp)

  From compatibility in the SKILL.md frontmatter.

Context cost

Lsp Verify loads about 2k tokens when it runs. Until then it costs about 57 tokens; SKILL.md has 633 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~57

When it runs · the whole SKILL.md, loaded when a task matches

~2k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from blackwell-systems/agent-lsp at commit 38ca488, republished under its MIT licence (© blackwell-systems). 633 words, ~2,049 tokens.

name

lsp-verify

description

Full three-layer verification after any change — LSP diagnostics + compiler build + test suite, ranked by severity. Use after completing any edit, refactor, or feature to confirm nothing is broken before committing.

allowed-tools

mcp__lsp__get_diagnostics, mcp__lsp__run_build, mcp__lsp__run_tests, mcp__lsp__get_tests_for_file, mcp__lsp__suggest_fixes, mcp__lsp__format_document, mcp__lsp__apply_edit

compatibility

Requires the agent-lsp MCP server (github.com/blackwell-systems/agent-lsp)

user-invocable

true

license

MIT

metadata.optional-capabilities

codeActionProvider documentFormattingProvider

mcp__lsp__get_tests_for_file({ "file_path": "<changed/source/file>" })

mcp__lsp__get_diagnostics({ "file_path": "<path/to/changed/file>" })

mcp__lsp__run_build({ "workspace_dir": "<workspace_dir>" })

mcp__lsp__run_tests({ "workspace_dir": "<workspace_dir>" })

grep -E "^(FAIL|--- FAIL)" <output_file>

GOWORK=off go test -count=1 -short ./internal/mypackage/... 2>&1 | grep -E "FAIL|ok"

## Verification Report

### Layer 1: LSP Diagnostics
[CLEAN / N errors, M warnings]

<details if N > 0 or M > 0>
Errors:
- file:line - message

Warnings:
- file:line - message
</details>

### Layer 2: Build
[PASSED / FAILED - N errors]

<details if FAILED>
- error message (file:line)
</details>

### Layer 3: Tests
[PASSED / FAILED - N failures]

<details if FAILED>
- test name: message (file:line) [correlated / unrelated]
</details>

<if test correlation map exists>
Test files covering changed source:
  changed/source/file.go → test/source_file_test.go
</if>

### Summary
Overall: CLEAN / NEEDS ATTENTION
Blocking issues: [errors that must be fixed before shipping]

mcp__lsp__format_document({ "file_path": "<changed-file>" })

mcp__lsp__suggest_fixes({
  "file_path": "<file>",
  "line": <error line>,
  "column": <error column>
})

mcp__lsp__apply_edit({
  "file_path": "<file>",
  "old_text": "<text to replace>",
  "new_text": "<replacement>"
})

© blackwell-systems, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in skills/lsp-verify of blackwell-systems/agent-lsp.

Open the folder on GitHubat commit 38ca488