add arklib and fix bug

app.py

@@ -2036,4 +2036,84 @@ with gr.Blocks(
                 label="Lean code",
             )
             play_btn = gr.Button("Run", variant="primary")
-            play_out = gr.Textbox(label="Output", lines=16, max_lines=40)
+            play_out = gr.Textbox(label="Output", lines=16, max_lines=40)
+            play_btn.click(
+                run_lean,
+                play_code,
+                play_out,
+                concurrency_id="lean",
+                concurrency_limit=1,
+                api_name="run_lean",
+            )
+
+    home_lb_btn.click(lambda: _select_tab("leaderboard"), outputs=app_tabs, api_name=False)
+    home_submit_btn.click(lambda: _select_tab("submit"), outputs=app_tabs, api_name=False)
+
+    submit_btn.click(
+        verify_and_submit,
+        [user_in, file_in],
+        [progress_df, submit_status],
+        api_name="verify_and_submit",
+    )
+
+    refresh_btn.click(_leaderboard_html, None, lb_table, api_name="leaderboard")
+
+    # Poll the persisted submission status for whatever username is in the box.
+    # Works regardless of who submitted or when — tab close / browser disconnect
+    # has no effect on the underlying worker thread.
+    gr.Timer(value=15).tick(
+        submission_status,
+        inputs=[user_in],
+        outputs=[progress_df, submit_status],
+    )
+
+    # Auto-refresh the leaderboard so finished submissions appear without
+    # the user having to click Refresh.
+    gr.Timer(value=60).tick(_leaderboard_html, outputs=lb_table)
+
+    # Populate the leaderboard + home front-runners on every page load. The
+    # `value=` baked into the components is only the build-time snapshot served
+    # to every browser; without these the page shows that stale/empty snapshot
+    # until a timer ticks. Both refresh fns re-read the bucket file first, so a
+    # fresh visitor immediately sees the current standings.
+    demo.load(_leaderboard_html, outputs=lb_table)
+    demo.load(refresh_home, outputs=home_body)
+
+    # Hidden admin endpoints — gated by env-var ADMIN_RESET_TOKEN.
+    _admin_tok = gr.Textbox(visible=False)
+    _admin_out = gr.Textbox(visible=False)
+    _admin_btn = gr.Button(visible=False)
+    _admin_btn.click(admin_reset, _admin_tok, _admin_out, api_name="admin_reset")
+
+    _cl_tok = gr.Textbox(visible=False)
+    _cl_user = gr.Textbox(visible=False)
+    _cl_sid = gr.Textbox(visible=False)
+    _cl_out = gr.Textbox(visible=False)
+    _cl_btn = gr.Button(visible=False)
+    _cl_btn.click(
+        compat_list, [_cl_tok, _cl_user, _cl_sid], _cl_out,
+        api_name="compat_list",
+    )
+
+    _log_tok = gr.Textbox(visible=False)
+    _log_user = gr.Textbox(visible=False)
+    _log_sid = gr.Textbox(visible=False)
+    _log_name = gr.Textbox(visible=False)
+    _log_ver = gr.Textbox(visible=False)
+    _log_out = gr.Textbox(visible=False)
+    _log_btn = gr.Button(visible=False)
+    _log_btn.click(
+        compat_log,
+        [_log_tok, _log_user, _log_sid, _log_name, _log_ver],
+        _log_out,
+        api_name="compat_log",
+    )
+
+
+if __name__ == "__main__":
+    demo.queue(default_concurrency_limit=None).launch(
+        server_name="0.0.0.0",
+        server_port=int(os.environ.get("GRADIO_SERVER_PORT", "7860")),
+        allowed_paths=[BENCHMARK_JSONL_PATH, str(SPONSOR_ASSETS_DIR)],
+        favicon_path=str(APP_ICON_PATH),
+    )