-
Notifications
You must be signed in to change notification settings - Fork 51
Pull requests: rdi-berkeley/agents-last-exam
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add computing_math/imo2005p6_lean_v1 — Lean/Mathlib formal-verification task
#56
opened Jul 24, 2026 by
him1411
Loading…
perf(sandbox): ship ALE source as one archive
#55
opened Jul 21, 2026 by
sunyiyou
Collaborator
Loading…
docs(build-image): document building the base from a stock OS image
#49
opened Jul 12, 2026 by
rowingchenn
Collaborator
Loading…
Per-task sandbox network isolation — DNS-override netguard (Linux + Windows), Google Cloud
#48
opened Jul 12, 2026 by
rowingchenn
Collaborator
•
Draft
feat(tasks): add engineering/humanoid_loco_manipulation
#47
opened Jul 11, 2026 by
PointsCoder
Loading…
feat(antigravity_cli): add Google Antigravity CLI (agy) in-sandbox agent
#21
opened Jun 19, 2026 by
rowingchenn
Collaborator
Loading…
Add computing_math cluster: vuln_audit (Last-Exam security) + agentcore_repair & incident_rca (near-term)
#14
opened Jun 15, 2026 by
kenhuangus
Loading…
ProTip!
Adding no:label will show everything without a label.