"bat" matching MCP servers:

Runtime governance and budget guardrails for Claude Code, Cursor, and autonomous AI agents. Enforces per-session spend caps, verifier safety gates, and runaway loop prevention.

Assist LLM writing Waterloo Docstrings, a format with emphasis on machine-verifyable normativity.

Enables ChatGPT Web Developer Mode to interact with local repositories through MCP, providing tools for file editing, shell execution, Git worktrees, semantic navigation, and checkpoints.

Enables coding agents to inspect live browser runtime evidence, such as blocking elements and interaction surfaces, and to independently verify whether a code fix resolved the issue.