io.github.p1va/symbols
MCP server to read, inspect and troubleshoot codebase symbols
Open source Open in the app JSON README (API)
About
MCP server to read, inspect and troubleshoot codebase symbols
Details
- Kind
- MCP servers
- Topic
- No topic detected
- Publisher
- p1va
- Origin
- official
- Category
- ferramentas
- Transport
- local
- Version
- 1.0.0
- Stars
- 3
- Last push
- 2026-07-22T11:27:36Z
- Repository state
- ativo
- Language
- TypeScript
- License
- MIT
- Added
- 2026-08-29 04:00:58
- Updated
- 2026-08-29 04:00:58
- Origin id
io.github.p1va/symbols
README
<div align="center">
# Symbols MCP
Read, inspect and navigate through codebase symbols by connecting to Language Servers.
</div>
## 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 snippet
- **`inspect`**: returns docs, declaration and implementation locations for a symbol, including third-party ones
- **`search`**: returns matching symbols across the codebase
- **`references`**: finds all references of a symbol across the codebase
- **`call_hierarchy`**: returns incoming and outgoing call relationships for a callable symbol
- **`rename`**: renames all references of a symbol across the codebase
- **`diagnostics`**: returns active diagnostics in a given file
- **`completion`**: returns contextual completions at a given location
- **`reload`**: 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
```bash
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
```bash
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](docs/INSTALLATION.md#traditional-installation).
## Development
- `pnpm lint` outputs the lint violations
- `pnpm lint:fix` attempts to fix lint violations
- `pnpm format` formats the codebase
- `pnpm format:check` checks formatting without changing files
- `pnpm dev` starts in development mode
- `pnpm build` runs the linter and build
- `pnpm start` starts the built artifacts
- `pnpm test:unit` runs the unit tests
- `pnpm test:integration:{language id}` runs the integration tests for a given language
## Release
- `pnpm version patch` to synchronize generated assets, bump the version, and
create a single commit and tag. Use `minor` or `major` when appropriate.
- `git push --follow-tags` to 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.