feat: curated public benchmark dataset and leaderboard#970

Closed

christso wants to merge 10 commits intomainfrom

feat/966-leaderboard

Commits on Apr 8, 2026

feat: curated public benchmark dataset and leaderboard

christso
and
Copilot
committed
feat: add SWE-bench Lite benchmark infrastructure

christso
and
Copilot
committed
feat(web): add leaderboard page with sortable table and Pareto chart

christso
and
Copilot
committed
ci: add benchmark result JSON validation

christso
and
Copilot
committed
fix: zero-dep validator + provider filter dropdown

christso
and
Copilot
committed
feat(core): Docker workspace execution environments

christso
and
Copilot
committed
feat: integrate Docker workspace + update grader for container execution

christso
and
Copilot
committed
fix: properly indent problem statements in generated EVAL.yaml

christso
and
Copilot
committed
security: fix command injection, YAML injection, and XSS vectors

christso
and
Copilot
committed
fix: skip Docker pull for local images + E2E eval test

christso
and
Copilot
committed