Agent Lease

io.github.Buggy1111/agent-lease-mcp

Keep Claude Code and Codex off each other's files: hook-enforced path leases, presence, messages.

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "agent-lease-mcp": {
      "command": "uvx",
      "args": [
        "agent-lease-mcp"
      ],
      "env": {
        "AGENT_NAME": "<your AGENT_NAME>"
      }
    }
  }
}
Environment variables
  • AGENT_NAMErequiredThis agent's name in the room, e.g. claude-code or codex. Must match the hooks.

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.2.0
Registry
active
Published
10/17/2026

More Developer Tools servers

Browse all Developer Tools →

Czech PII Anonymizer & NLP

Buggy1111

Anonymize PII & redact text (GDPR): Czech + 35-lang NER, morphology, translation, spellcheck

Developer ToolsAdded 5 months ago

Shelly Smart Home

Buggy1111

Local-first MCP server for Shelly smart-home devices (Gen1-Gen4): control, energy, automation.

Developer ToolsAdded 3 weeks ago

io.github.Buggy1111/wrapper-mcp

Buggy1111

Czech NLP tools: NER (35 langs), anonymization (80+ PII), morphology, translation, spellcheck

Developer ToolsAdded 5 months ago

Rein

bugiiiii11

Spend limits for AI agents that pay with x402: every paywall is policy-checked before a cent moves.

Developer ToolsAdded 3 weeks ago

Galaxy UI MCP Server

buikevin

MCP server exposing Galaxy UI components — manifests, source code, and framework coverage

Developer ToolsAdded 1 month ago

BuildBetter

buildbetter-app

Research customer feedback, calls, support, surveys and product usage with source citations.

Developer ToolsAdded 1 week ago

Add the badge to your site

Show visitors that Agent Lease is listed here — it’s also the link we check for a free listing.

Agent Lease — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-buggy1111-agent-lease-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Agent Lease — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Agent Lease — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-buggy1111-agent-lease-mcp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.