Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add skills/p1va/symbols/language-server-navigationnpx skills add p1va/symbols --skill language-server-navigationgit clone --depth 1 https://github.com/p1va/symbolsWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/p1va/symbols/language-server-navigation)<a href="https://agentmods.dev/skills/p1va/symbols/language-server-navigation"><img src="https://agentmods.dev/badge/skills/p1va/symbols/language-server-navigation.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00044 | $0.00617 |
| Opus 5 | $0.00022 | $0.00309 |
| Sonnet 5 | $0.00009 | $0.00123 |
| Haiku 4.5 | $0.00004 | $0.00062 |
Grade A, and why
language-server-navigation scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 5d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 54 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Language Server Navigation
Use this skill when the codebase already has a relevant language server, or when the task should check that first. The goal is to use the current Language Servers tool surface deliberately instead of falling back to grep-driven workflows too early.
For a compact tool-selection cheat sheet, read references/tool-selection.md.
Workflow
- Check
language-servers://profilesfor a matching profile.- If there is no suitable profile, use the
install-language-serverskill.
- If there is no suitable profile, use the
- Start with the narrowest LSP-backed tool that answers the question.
outlinefor file structure and symbol locationsinspectfor symbol details and docsreferencesfor usagesrenamefor semantic renamesdiagnosticsfor compile or type errorscompletionfor API discovery at a pointsearchwhen the server supports language-aware search
- Use a real file path and precise line and character coordinates.
- If the user did not provide coordinates, use
outlinefirst to find them.
- If the user did not provide coordinates, use
- Treat file-backed tool calls as stateful.
- They can lazily start a dormant session.
- They can change the runtime state you see in the resources.
- If results look wrong, inspect:
language-servers://profiles/{name}language-servers://profiles/{name}/logs- then use
reloadonly if the config changed
Tool Choice Rules
- Prefer
renameover grep-based renames when a matching LSP exists. - Prefer
referencesover text search for call sites or symbol usage. - Prefer
inspectover opening arbitrary files when you need docs, types, or declaration context. - Use
searchonly when the server and current indexing state can support it. - Use plain text tools only when there is no working LSP profile or when the task is explicitly text-based.
Known Runtime Behaviors
not_startedafterreloadis normal. The first matching file-backed tool call should start the profile.- Search quality varies by server. TypeScript 7's native server does not normally need a preload anchor; the legacy
typescript-language-serverwrapper may still benefit from bounded, glob-basedpreload_filesentries. - Logs are best-effort. A running server may still have no window-log messages.
- Resources are the read surface. Use them for state and log inspection before guessing.
What ships with it
2 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 5d ago First seen · 54 lines · 44 tokens per session scan A 872d33cfef21
language-server-navigation is a skill published in the GitHub repository p1va/symbols (3 stars, last pushed 1mo ago), licensed MIT. It adds 44 tokens to every session and 617 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other skills, from other repositories
x402-list
Discover x402 payment services and on-chain-verified facilitator settlement volume via the x402-list directory. Use when a user or agent needs to find an API/service that accepts x402 (HTTP 402 stablecoin) payments, compare services by reliability and price, check service uptime/health, see whether a service has…
anyapi
Get live data from LinkedIn, Instagram, TikTok, YouTube, X/Twitter, Reddit, Facebook, Google Search, Google Maps, and Amazon, plus clean JSON from any web page that blocks bots - one key, USD pay-per-request, free trial built in. Use whenever a task needs third-party data that a direct fetch or a general web search…
plan-equity-portfolio
Build one prioritized plan across a person's whole equity position - incentive stock options (ISOs), non-qualified stock options (NSOs), restricted stock units (RSUs), and held company stock - instead of answering one grant at a time. Use when someone has more than one grant type, asks "what should I do with my…
equity-comp-tax
Equity-compensation tax planning. Use when the user asks about exercising incentive stock options (ISO) or the alternative minimum tax (AMT), non-qualified stock option (NSO) exercise tax, restricted stock unit (RSU) vesting decisions, Section 1202 Qualified Small Business Stock (QSBS) qualification, single-stock…
charming
Create, update, inspect, or troubleshoot Charming-hosted interactive web apps via the Charming MCP server, or connect an AI client (Claude, Cursor, Codex, Gemini CLI, ChatGPT) to Charming.
bestprice-shopping
Guide for using BestPrice Shopping MCP tools effectively.