An MCP server that gives AI agents the code navigation and refactorings of an IDE in ten languages, and states the evidence behind every answer
dokimasia / techne
