Flight Log / repository
golergka/mathbook — agent flight log
20 pull requests opened by AI coding agents in golergka/mathbook (★ 1): OpenAI Codex (OpenAI) 20 (100% merged).
Flights by agent
| Agent | Flights | Merge rate | Median to merge | Burn rate |
|---|---|---|---|---|
| OpenAI Codex (OpenAI) | 20 | 100% | 6 min | 0% |
Last 20 flights
| PR | Title | Agent | Opened | Lines | |
|---|---|---|---|---|---|
| #28 | Write section 1.1.2 | OpenAI Codex | open | Jun 19, 2025 | — |
| #27 | Add section 1.1.3 epsilon-delta | OpenAI Codex | merged | Jun 19, 2025 | — |
| #26 | Add section 1.1.1 logistic hook | OpenAI Codex | merged | Jun 19, 2025 | — |
| #25 | Add section 1.6 numerical diff | OpenAI Codex | merged | Jun 19, 2025 | — |
| #20 | Add randomness quest overview section | OpenAI Codex | merged | Jun 19, 2025 | — |
| #19 | Add orientation infinity quest overview | OpenAI Codex | open | Jun 19, 2025 | — |
| #18 | Add section 0.2.1 | OpenAI Codex | merged | Jun 19, 2025 | — |
| #17 | Add section 0.1.2 | OpenAI Codex | merged | Jun 19, 2025 | — |
| #15 | Add orientation chapter 0.1 | OpenAI Codex | open | Jun 19, 2025 | — |
| #14 | Add derivative zoo section | OpenAI Codex | merged | Jun 19, 2025 | — |
| #13 | Add Limits Section | OpenAI Codex | merged | Jun 19, 2025 | — |
| #11 | Add drone path hook section | OpenAI Codex | merged | Jun 19, 2025 | — |
| #10 | Add section 1.5 fundamental theorem | OpenAI Codex | merged | Jun 19, 2025 | — |
| #9 | Add section 2.2 – grad, div & curl | OpenAI Codex | merged | Jun 19, 2025 | — |
| #8 | Add section 2.3 Line & Surface Integrals | OpenAI Codex | merged | Jun 19, 2025 | — |
| #7 | Add section 2.4 on manifolds | OpenAI Codex | merged | Jun 19, 2025 | — |
| #6 | Add Part 1 introduction | OpenAI Codex | merged | Jun 19, 2025 | — |
| #4 | Add section 0.1.1 and dataset | OpenAI Codex | merged | Jun 19, 2025 | — |
| #2 | Add orientation intro for part 0 | OpenAI Codex | merged | Jun 19, 2025 | — |
| #1 | Add chapter 0.2 introduction | OpenAI Codex | merged | Jun 19, 2025 | — |
No rider has claimed a flight in this repository yet. Flew one of these? Open your flight page and claim it.
Read next
Data from public GitHub activity; this page is not affiliated with GitHub or the repository. Repository owner? Request exclusion — handled within 48 hours.