LeanToken MCP Server

Name: LeanToken MCP Server
Author: io.github.morluto

io.github.morluto/leantoken

What is the LeanToken MCP server?

Token-bounded repository context for coding agents over MCP.

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "leantoken": {
      "command": "leantoken",
      "args": [
        "mcp"
      ]
    }
  }
}

Cursor

~/.cursor/mcp.json

{
  "mcpServers": {
    "leantoken": {
      "command": "leantoken",
      "args": [
        "mcp"
      ]
    }
  }
}

Windsurf

~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "leantoken": {
      "command": "leantoken",
      "args": [
        "mcp"
      ]
    }
  }
}

VS Code

.vscode/mcp.json

{
  "servers": {
    "leantoken": {
      "type": "stdio",
      "command": "leantoken",
      "args": [
        "mcp"
      ]
    }
  }
}

Claude Code

claude mcp add leantoken -- leantoken mcp

Active

Reverse engineer anything from your terminal or agent with one CLI and MCP server.

357

TypeScript

MIT

Active

Executable mathematics and independent verification for AI agents.

Python

MIT

Active

Local runtime evidence for coding-agent performance and reliability investigations

Python

MIT

Active

Local-first GitHub contribution research workbench

MIT