Skip to content

Pull requests: aimir/idcs

New pull requestNew
5 Open 11 Closed
5 Open 11 Closed
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
Filter by reviews
No reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

[codex][failed proof] GEPA adapter experiment lane
#15 opened May 25, 2026 by ssaroussiCollaborator • Draft
6
Add vulnerability benchmark tasks with known spec weaknesses
#9 opened May 24, 2026 by uriarielCollaboratorLoading…
7
Add composite spec-strength score (0-100)
#8 opened May 24, 2026 by uriarielCollaboratorLoading…
2
Expand issue taxonomy with underconstraint and implicit_assumption
#7 opened May 24, 2026 by uriarielCollaboratorLoading…
4
GPRO kinda
#6 opened May 23, 2026 by CopilotAI • Draft
@uriariel
7
ProTip! Type gi on any issue or pull request to go back to the issue listing page.