io.github.p1va/symbols

MCPattested
v1.0.0io.github.p1vaUnknownUpdated 11mo agonpmGitHub

MCP server to read, inspect and troubleshoot codebase symbols

Read, inspect and navigate through codebase symbols by connecting to Language Servers. 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. : returns an outline…

Attested build
A verified provenance attestation binds this artifact to the listed repository. Nobody has claimed the listing yet — this proves where the code was built, not who stands behind it.
11mo agoLast update
Package
Authorio.github.p1va
LicenseUnknown
Version1.0.0
Sourcemcp-registry
Trust Status
A
85/100Trusted
Listed in Forge index+10/10
Identity verified · attested build+20/20
Ed25519 publish signature+0/5
Included automatically when the publisher runs `forge publish`
Domain verification+0/5
Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }
npm Trusted Publishing (Sigstore)+5/5
npm maintainer match+0/5
Publisher: add the verified GitHub login to the npm package's maintainers (npm owner add <login>)
CVE scan · clean+30/30
Static analysis · clean+20/20
Paste into Claude Code, Cursor, or any AI assistant to fix all gaps
StatusIdentity verified
PublisherUnverified
SignatureUnsigned
Domain
Provenance✓ Sigstore-verified · 9b28b5a
Dependencies60 resolved+ · none vulnerable
Tool surface9 tools · none privileged
Security scan✓ Cleanv0.0.22 · 2mo ago
EvalsNone
IndexedJun 13, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.

About

Read, inspect and navigate through codebase symbols by connecting to Language Servers. 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. **: returns an outline of code symbols in a file, optionally with a small code snippet : returns docs, declaration and…

Keywords
mcp