-
Notifications
You must be signed in to change notification settings - Fork 25
Pull requests: paiml/paiml-mcp-agent-toolkit
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(verification): add Kani proof harnesses for pure functions (GH-276)
size/M
#299
opened Apr 17, 2026 by
noahgift
Contributor
Loading…
4 of 5 tasks
fix(cli): exit with help on no-args + piped stdin (GH-285)
size/M
#298
opened Apr 17, 2026 by
noahgift
Contributor
Loading…
7 tasks done
feat(ci): add cargo-mutants job for post-merge mutation testing (GH-275)
size/S
#297
opened Apr 17, 2026 by
noahgift
Contributor
Loading…
1 of 4 tasks
ci: remove unified gate from ci.yml (badge fix)
size/S
#277
opened Mar 22, 2026 by
noahgift
Contributor
Loading…
2 tasks
fix(brew): rename homebrew directory to Formula for proper tap structure
#74
opened Nov 17, 2025 by
panbanda
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.