rigor-mcp | Genaihub