Carrot auto-writes specs and catches AI code drift. MCP server for Cursor that AST-validates every commit.