# app.py
import logging
import sys
logging.basicConfig(level=logging.INFO) # Changed to INFO for better debugging
print("=" * 80, file=sys.stderr)
print("STARTING APP.PY", file=sys.stderr)
print("=" * 80, file=sys.stderr)
# Setup mock data before anything else
try:
print("Importing setup_data module...", file=sys.stderr)
from setup_data import setup_mock_data
print("Calling setup_mock_data()...", file=sys.stderr)
setup_mock_data()
print("✓ Data setup completed successfully", file=sys.stderr)
except Exception as e:
print(f"!!! ERROR during data setup: {e}", file=sys.stderr)
import traceback
traceback.print_exc()
print("Continuing with app startup despite error...", file=sys.stderr)
print("Importing gradio...", file=sys.stderr)
import gradio as gr
print("✓ Gradio imported", file=sys.stderr)
import urllib.parse
print("Importing dependencies...", file=sys.stderr)
from apscheduler.schedulers.background import BackgroundScheduler
from huggingface_hub import HfApi
print("✓ Dependencies imported", file=sys.stderr)
print("Importing config...", file=sys.stderr)
from config import LEADERBOARD_PATH, LOCAL_DEBUG
print(f"✓ Config imported (LOCAL_DEBUG={LOCAL_DEBUG})", file=sys.stderr)
print("Importing content and pages...", file=sys.stderr)
from content import css
print("✓ css imported", file=sys.stderr)
from main_page import build_page as build_main_page
print("✓ main_page imported", file=sys.stderr)
from bug_fixing import build_page as build_bug_fixing_page
print("✓ bug_fixing imported", file=sys.stderr)
from app_creation import build_page as build_app_creation_page
print("✓ app_creation imported", file=sys.stderr)
from frontend_development import build_page as build_frontend_page
print("✓ frontend_development imported", file=sys.stderr)
from test_generation import build_page as build_test_generation_page
print("✓ test_generation imported", file=sys.stderr)
from information_gathering import build_page as build_information_gathering_page
print("✓ information_gathering imported", file=sys.stderr)
from submission import build_page as build_submission_page
print("✓ submission imported", file=sys.stderr)
from about import build_page as build_about_page
print("✓ All pages imported", file=sys.stderr)
api = HfApi()
LOGO_PATH = "assets/logo.svg"
# JavaScripts
scroll_script = """
"""
redirect_script = """
"""
tooltip_script = """
"""
redirect_submission_on_close_script = """
"""
# --- Theme Definition ---
theme = gr.themes.Base(
primary_hue=gr.themes.Color(c100="#CFF5E8", c200="#B7EFDD", c300="#9FEAD1", c400="#87E5C5", c50="#E7FAF3", c500="#6FE0BA", c600="#57DBAF", c700="#3FD5A3", c800="#27D09C", c900="#0FCB8C", c950="#0fcb8c"),
secondary_hue=gr.themes.Color(c100="#FCDCEB", c200="#FBCBE1", c300="#F9BAD7", c400="#F7A8CD", c50="#FDEEF5", c500="#F697C4", c600="#F586BA", c700="#F375B0", c800="#F263A6", c900="#F0529C", c950="#F0529C"),
neutral_hue=gr.themes.Color(c100="#FDF9F4", c200="#C9C9C3", c300="#B0B5AF", c400="#97A09C", c50="#FAF2E9", c500="#7F8C89", c600="#667876", c700="#344F4F", c800="#1C3A3C", c900="#032629", c950="032629"),
font=[gr.themes.GoogleFont('Manrope'), 'ui-sans-serif', 'sans-serif', 'sans-serif'],
font_mono=[gr.themes.GoogleFont('Roboto Mono'), 'ui-monospace', 'monospace', 'monospace'],
).set(
body_text_color='*neutral_950',
body_text_color_subdued='*neutral_950',
body_text_color_subdued_dark='*neutral_50',
body_text_color_dark='*neutral_50',
background_fill_primary='*neutral_50',
background_fill_primary_dark='*neutral_900',
background_fill_secondary='*neutral_100',
background_fill_secondary_dark='*neutral_800',
border_color_accent='*secondary_900',
border_color_accent_subdued='*neutral_400',
border_color_accent_subdued_dark='*neutral_400',
color_accent='*primary_900',
color_accent_soft='*neutral_200',
color_accent_soft_dark='*neutral_800',
link_text_color='*secondary_900',
link_text_color_dark='*primary_900',
link_text_color_active_dark='*primary_600',
link_text_color_hover_dark='*primary_700',
link_text_color_visited_dark='*primary_600',
table_even_background_fill='*neutral_100',
table_even_background_fill_dark='*neutral_800',
button_primary_background_fill='*secondary_900',
button_primary_background_fill_dark='*primary_900',
button_primary_background_fill_hover='*secondary_600',
button_primary_background_fill_hover_dark='*primary_600',
button_secondary_background_fill="#9FEAD1",
button_secondary_background_fill_dark="#9FEAD1",
button_secondary_text_color="*neutral_900",
button_secondary_text_color_dark="*neutral_900",
block_title_text_color="*neutral_900",
button_primary_text_color='*neutral_900',
block_title_text_color_dark="#ffffff",
button_primary_text_color_dark='*neutral_900',
block_border_color="#032629",
block_border_color_dark="#9fead1",
block_background_fill_dark="#032629",
block_background_fill="#FAF2E9",
checkbox_label_text_color="#032629",
checkbox_label_background_fill="#D8D6CF",
checkbox_label_background_fill_dark="#254243",
checkbox_background_color_selected="#F0529C",
checkbox_background_color_selected_dark="#0FCB8C",
)
try:
with open(LOGO_PATH, "r") as f:
svg_content = f.read()
encoded_svg = urllib.parse.quote(svg_content)
home_icon_data_uri = f"data:image/svg+xml,{encoded_svg}"
except FileNotFoundError:
print(f"Warning: Home icon file not found at {LOGO_PATH}.")
home_icon_data_uri = "none"
# --- This is the final CSS ---
final_css = css + f"""
/* --- Find the "Home" button and replace its text with an icon --- */
.nav-holder nav a[href$="/"] {{
display: none !important;
}}
.nav-holder nav a[href*="/home"] {{
grid-row: 1 !important;
grid-column: 1 !important;
justify-self: start !important;
display: flex !important;
align-items: center !important;
justify-content: center !important;
/* 2. Hide the original "Home" text */
font-size: 0 !important;
text-indent: -9999px;
/* 3. Apply the icon as the background */
background-image: url("{home_icon_data_uri}") !important;
background-size: contain !important;
background-repeat: no-repeat !important;
background-position: center !important;
width: 240px !important;
height: 50px !important;
padding: 0 !important;
border: none !important;
outline: none !important;
}}
"""
# --- Gradio App Definition ---
print("Creating Gradio Blocks...", file=sys.stderr)
demo = gr.Blocks(
theme=theme,
css=final_css,
head=scroll_script + redirect_script + tooltip_script + redirect_submission_on_close_script,
title="OpenHands Index",
)
print("✓ Gradio Blocks created", file=sys.stderr)
print("Building Home page route...", file=sys.stderr)
with demo.route("Home", "/home"):
build_main_page()
print("✓ Home page built", file=sys.stderr)
print("Building Bug Fixing page route...", file=sys.stderr)
with demo.route("Bug Fixing", "/bug-fixing"):
build_bug_fixing_page()
print("✓ Bug Fixing page built", file=sys.stderr)
print("Building App Creation page route...", file=sys.stderr)
with demo.route("App Creation", "/app-creation"):
build_app_creation_page()
print("✓ App Creation page built", file=sys.stderr)
print("Building Frontend Development page route...", file=sys.stderr)
with demo.route("Frontend Development", "/frontend-development"):
build_frontend_page()
print("✓ Frontend Development page built", file=sys.stderr)
print("Building Test Generation page route...", file=sys.stderr)
with demo.route("Test Generation", "/test-generation"):
build_test_generation_page()
print("✓ Test Generation page built", file=sys.stderr)
print("Building Information Gathering page route...", file=sys.stderr)
with demo.route("Information Gathering", "/information-gathering"):
build_information_gathering_page()
print("✓ Information Gathering page built", file=sys.stderr)
print("Building About page route...", file=sys.stderr)
with demo.route("About", "/about"):
build_about_page()
print("✓ About page built", file=sys.stderr)
# TODO: Fix submission page Modal component
# with demo.route("🚀 Submit an Agent", "/submit"):
# build_submission_page()
# --- Scheduler and Launch
def restart_space_job():
print("Scheduler: Attempting to restart space.")
try:
api.restart_space(repo_id=LEADERBOARD_PATH)
print("Scheduler: Space restart request sent.")
except Exception as e:
print(f"Scheduler: Error restarting space: {e}")
# Disabled scheduler for now
# scheduler = BackgroundScheduler(timezone="UTC")
# scheduler.add_job(restart_space_job, "interval", hours=1)
# scheduler.start()
# Launch the Gradio app
if __name__ == "__main__":
print("=" * 80, file=sys.stderr)
print("READY TO LAUNCH GRADIO APP", file=sys.stderr)
print("=" * 80, file=sys.stderr)
if LOCAL_DEBUG:
print("Launching in LOCAL_DEBUG mode...", file=sys.stderr)
demo.launch(debug=True, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico")
else:
print("Launching in Space mode...", file=sys.stderr)
# For Spaces, share=False is typical unless specific tunneling is needed.
# debug=True can be set to False for a "production" Space.
demo.launch(server_name="0.0.0.0", server_port=7860, debug=True, share=False, allowed_paths=["assets"], favicon_path="assets/favicon/favicon.ico")
print("✓ Gradio app launched successfully!", file=sys.stderr)