Neocortex: Token-Budgeted Semantic Code Retrieval MCP Server

Built at NexHacks (CMU) and submitted as a LeanMCP Add-on Track winner, Neocortex is an MCP server designed to help AI coding assistants reason over large GitHub repositories without resorting to whole-file context dumps. With meaning-based search, i...