Skip to main content
Glama
p1va

symbols-mcp

by p1va

Symbols MCP

通过连接到语言服务器来读取、检查和导航代码库符号。

NPM Version

简介

通过连接到选定的语言服务器,此 MCP 服务器使编码代理能够轻松高效地探索和导航代码库及其依赖项。 该服务器提供了一组最小化的工具、资源和技能,旨在简单易用且对模型的上下文占用较小。

工具

  • outline:返回文件中代码符号的大纲,可选择包含一小段代码片段

  • inspect:返回符号的文档、声明和实现位置,包括第三方符号

  • search:返回代码库中匹配的符号

  • references:查找代码库中符号的所有引用

  • call_hierarchy:返回可调用符号的传入和传出调用关系

  • rename:重命名代码库中符号的所有引用

  • diagnostics:返回给定文件中活动的诊断信息

  • completion:返回给定位置的上下文补全

  • reload:重新加载有效配置并将其重新应用于当前运行的语言服务器

资源

  • language-servers://profiles:返回已配置的语言服务器及其状态。

  • language-servers://profiles/{name}:返回某个语言服务器的更详细视图。

  • language-servers://profiles/{name}/logs:返回用于故障排除的语言服务器日志。

技能

  • install-language-server:为当前工作区安装、配置、验证或排查语言服务器配置文件。

  • language-server-navigation:在回退到文本搜索之前,通过语言服务器工具引导符号检查、引用、重命名、诊断和搜索。

Related MCP server: Serena

安装

代理安装

安装 MCP 服务器、通过插件和扩展安装代理技能,然后要求代理为代码库安装任何相关的语言服务器。

  • 添加扩展: gemini extensions install p1va/symbols

  • 询问 Gemini: Please install the language servers relevant to this codebase

  • 添加 MCP 服务器: codex mcp add language-servers -- npx -y @p1va/symbols@latest start

  • 添加语言服务器技能: npx skills add p1va/symbols -a codex

  • 询问 Codex: Please install the language servers relevant to this codebase

手动安装

有关手动配置和语言服务器示例,请参阅 此处

开发

  • pnpm lint 输出 lint 违规信息

  • pnpm lint:fix 尝试修复 lint 违规

  • pnpm format 格式化代码库

  • pnpm dev 以开发模式启动

  • pnpm build 运行 linter 和构建

  • pnpm start 启动构建后的产物

  • pnpm test:unit 运行单元测试

  • pnpm test:integration:{language id} 运行给定语言的集成测试

发布

  • pnpm sync:skills.agents/skills/ 同步到:

    • Gemini 扩展的 skills/

    • Codex 插件的 plugins/symbols/skills/

  • pnpm version patch 增加版本号并创建标签。然后:

    • pnpm sync:version 更新插件和扩展清单。

    • git push --follow-tags 推送提交和标签。

A
license - permissive license
-
quality - not tested
B
maintenance

Maintenance

Maintainers
Response time
2wRelease cycle
20Releases (12mo)

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/p1va/symbols'

If you have feedback or need assistance with the MCP directory API, please join our Discord server