Skip to content

Pull requests: SakanaAI/ShinkaEvolve

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bound OpenAI-compatible LLM retry stalls with configurable budgets
#144 opened Jul 7, 2026 by dexhunter Contributor Loading…
feat: Pricing CSVs from models.dev
#141 opened Jun 29, 2026 by rodmarkun Loading…
feat: add Verilog/SystemVerilog support with RT-LLM Benchmark
#137 opened May 26, 2026 by Tyronita Loading…
5 of 6 tasks
Add Lean 4 support
#90 opened Mar 13, 2026 by RobertTLange Collaborator Loading…
Add Lean 4 support
#63 opened Jan 5, 2026 by Racemuis Loading…
3 tasks done
feat: Multi-turn agentic architecture
#56 opened Dec 19, 2025 by GeorgeWingg Loading…
1 of 3 tasks
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.