Lsp Concurrency Audit

What it does

When your agent uses it

• Tasks that involve Async programming

Example prompts

• “/lsp-concurrency-audit”

Requirements

• Compatibility (from SKILL.md): Requires the agent-lsp MCP server (github.com/blackwell-systems/agent-lsp)
• Pre-approved tools (allowed-tools): mcp__lsp__start_lsp, mcp__lsp__open_document, mcp__lsp__blast_radius, mcp__lsp__find_callers, mcp__lsp__list_symbols, mcp__lsp__get_symbol_source, mcp__lsp__find_references

Workflow steps

5 steps, taken from the step headings in SKILL.md.

1. 1Discover types and fields
2. 2Blast radius and sync-guarded status
3. 3Trace concurrent boundaries
4. 4Classify fields
5. 5Output

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__start_lsp
  • mcp__lsp__open_document
  • mcp__lsp__blast_radius
  • mcp__lsp__find_callers
  • mcp__lsp__list_symbols
  • mcp__lsp__get_symbol_source
  • mcp__lsp__find_references

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  No scripts in the folder and no shell commands in SKILL.md (its code samples are markdown).

  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 Concurrency Audit loads about 1.5k tokens when it runs. Until then it costs about 75 tokens; SKILL.md has 524 words of instructions outside code blocks.

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

~75

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

~1.5k

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). 524 words, ~1,475 tokens.

name

lsp-concurrency-audit

description

Concurrency safety audit for a type or file. Maps all fields, traces which are accessed from concurrent contexts (goroutines, threads, async tasks), and flags fields that lack synchronization. Produces a field-level safety report. Language-agnostic across 4 concurrency families.

allowed-tools

mcp__lsp__start_lsp, mcp__lsp__open_document, mcp__lsp__blast_radius, mcp__lsp__find_callers, mcp__lsp__list_symbols, mcp__lsp__get_symbol_source, mcp__lsp__find_references

compatibility

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

argument-hint

<file-path> [--type <TypeName>]

user-invocable

true

license

MIT

metadata.required-capabilities

documentSymbolProvider referencesProvider

metadata.optional-capabilities

callHierarchyProvider

/lsp-concurrency-audit <file-path> [--type <TypeName>]

mcp__lsp__list_symbols({ "file_path": "<target>" })

mcp__lsp__blast_radius({
  "changed_files": ["<target>"],
  "scope": "all"
})

mcp__lsp__find_callers({
  "file_path": "<target>",
  "line": <method_line>,
  "column": <method_column>,
  "direction": "incoming",
  "cross_concurrent": true
})

## Concurrency Audit: <TypeName>

**File:** <file_path>
**Fields:** N total, M sync-guarded
**Concurrent methods:** K (methods called from goroutines/threads/tasks)

### Field Safety Report

| Field | Type | Sync | Concurrent Writers | Concurrent Readers | Status |
|-------|------|------|-------------------|-------------------|--------|
| mu | sync.RWMutex | (is sync) | - | - | SYNC PRIMITIVE |
| sender | NotificationSender | guarded | 2 (SetSender, Send) | 3 | SAFE |
| subscribers | []Subscriber | none | 1 (Subscribe) | 2 | UNSAFE (write-concurrent) |

### Concurrent Call Sites

For each UNSAFE field, list the concurrent callers:

- `subscribers` written by `Subscribe` called from:
  - `setupNotificationHub` via `go func()` at notifications.go:45
  - `handleNewSession` via `go func()` at server.go:312

### Recommendations

- Add `sync.RWMutex` to protect `subscribers` field
- Or: use channel-based access pattern instead of direct field mutation

© 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-concurrency-audit of blackwell-systems/agent-lsp.

Open the folder on GitHubat commit 38ca488