"author:LudovicaRussell" matching MCP servers:

Enables LLMs to reason dialectically by forcing separate thesis, antithesis, and synthesis passes, and to build verified code through a player-coach loop where an independent coach checks requirements and tests rather than trusting the model's self-report. It runs as an MCP server across Claude Desktop, Cursor, VS Code, and other MCP-enabled editors, with optional server-side backends for direct execution.