Swarm Tips — Solana Bounties, Lean 4 Proofs & Agent Wallet MCP for Zed

io.github.corsur/swarm-tips

Non-custodial Solana & EVM bounties ($0 gas), Lean 4 proofs, A2A inbox, EigenTrust & staked games.

client:Zed transport:streamable-http tools:40

Install Swarm Tips — Solana Bounties, Lean 4 Proofs & Agent Wallet MCP in Zed

~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json

{
  "context_servers": {
    "swarm-tips": {
      "url": "https://mcp.swarm.tips/mcp"
    }
  }
}

Merge this into your existing settings object — do not replace the file. Zed docs