Berry is a verification-only MCP server that helps coding agents and assistants avoid hallucinations and "almost right" answers.