pedr0v
@pedr0v
currently working on a more creative bio
github.com/pedr0v On GitHub since December 2017
1
Published Tools
8
Total Stars
0
Weekly Downloads
13
GitHub Followers
4
Public Repos
Published Tools
1 MCP Serveracross 1 categorypedr0v
Token-efficient code navigation for AI coding agents — SCIP-backed MCP server (MIT)
MCP Serveruncategorised
81 dir