{"service":"PETAL API","version":"2.0.0","docs":"/docs","health":"/api/petal/health","catalog":"/api/petal/catalog","problem_export":"/api/petal/problems/export","grade":"POST /api/petal/grade","leaderboard":"/api/petal/leaderboard","lean_verify":"POST /api/lean/verify","lean_health":"/api/lean/health","license":"CC BY 4.0","dataset":"https://huggingface.co/datasets/Monogate/petal-eml"}