AILegal — verified legal provisions for agents — MCP server