io.github.p1va/symbols
MCP server to read, inspect and troubleshoot codebase symbols
Que pouvez-vous faire avec io.github.p1va/symbols ?
outline: returns an outline of code symbols in a file, optionally with a small code snippetinspect: returns docs, declaration and implementation locations for a symbol, including third-party onessearch: returns matching symbols across the codebasereferences: finds all references of a symbol across the codebasecall_hierarchy: returns incoming and outgoing call relationships for a callable symbolrename: renames all references of a symbol across the codebasediagnostics: returns active diagnostics in a given filecompletion: returns contextual completions at a given location
Installation
Ajoutez ceci à la configuration MCP de votre client (Claude Desktop : claude_desktop_config.json ; Cursor : .cursor/mcp.json ; VS Code et les autres utilisent la même forme « mcpServers »).
@p1va/symbolsclaude mcp add symbols -- npx -y @p1va/symbols@0.0.10
{
"mcpServers": {
"symbols": {
"command": "npx",
"args": [
"-y",
"@p1va/symbols@0.0.10"
]
}
}
}
Documentation
Tirée du README du projet sur GitHub, actualisée chaque semaine. Les liens ouvrent GitHub.
Symbols MCP
Read, inspect and navigate through codebase symbols by connecting to Language Servers.
Introduction
By connecting to a Language Server of choice this MCP server makes it easy and efficient for coding agents to explore and navigate the codebase and its dependencies. The server offers a minimal set of tools, resources and skills intended to be simple to use and light on the model's context.
Tools
outline: returns an outline of code symbols in a file, optionally with a small code snippetinspect: returns docs, declaration and implementation locations for a symbol, including third-party onessearch: returns matching symbols across the codebasereferences: finds all references of a symbol across the codebasecall_hierarchy: returns incoming and outgoing call relationships for a callable symbolrename: renames all references of a symbol across the codebasediagnostics: returns active diagnostics in a given filecompletion: returns contextual completions at a given locationreload: reloads the effective config and reapplies it to currently running language servers
Resources
language-servers://profiles: returns the configured language servers along with their state.language-servers://profiles/{name}: returns a more detailed view of one language server.language-servers://profiles/{name}/logs: returns the Language Server logs for troubleshooting.
Skills
install-language-server: installs, configures, validates, or troubleshoots a language-server profile for the current workspace.language-server-navigation: guides symbol inspection, references, rename, diagnostics, and search through Language Server tools before falling back to text search.
Installation
Codex
codex plugin marketplace add p1va/symbols
codex plugin add symbols@symbols
Then ask Codex:
Please install and configure the language servers relevant to this codebase
Antigravity
agy plugin install https://github.com/p1va/symbols.git
Then ask Antigravity:
Install and configure the language servers relevant to this codebase.
Manual Installation
For manual configuration and language servers examples see here.
Development
pnpm lintoutputs the lint violationspnpm lint:fixattempts to fix lint violationspnpm formatformats the codebasepnpm format:checkchecks formatting without changing filespnpm devstarts in development modepnpm buildruns the linter and buildpnpm startstarts the built artifactspnpm test:unitruns the unit testspnpm test:integration:{language id}runs the integration tests for a given language
Release
pnpm version patchto synchronize generated assets, bump the version, and create a single commit and tag. Useminorormajorwhen appropriate.git push --follow-tagsto push the commit and tag.
The version lifecycle checks formatting, mirrors .agents/skills/ into the
Antigravity and Codex distributions, and updates the versioned Codex plugin
manifest before the commit and tag are created.
Questions fréquentes
Qu'est-ce que io.github.p1va/symbols ?
MCP server to read, inspect and troubleshoot codebase symbols
Comment installer io.github.p1va/symbols ?
Il s'exécute sur votre machine. Dans Claude Code : claude mcp add symbols -- npx -y @p1va/symbols@0.0.10. Pour les autres clients, collez la configuration JSON de cette page dans leurs réglages MCP.
Faut-il une clé API pour io.github.p1va/symbols ?
Son entrée au registre n'indique aucune clé ni secret obligatoire. Certaines fonctions peuvent tout de même demander un compte auprès du service auquel il se connecte.
io.github.p1va/symbols est-il open source ?
Oui. Son code est sur GitHub sous licence MIT.
Qui maintient io.github.p1va/symbols ?
Il est publié par p1va. AI.tn le référence sans le maintenir ni le recommander.
Issu du registre MCP officiel. Être listé n'est pas une recommandation : vérifiez le code et les permissions d'un serveur avant de lui donner accès à vos données.