Skip to content

chore(upstream): merge cursor/plugins - #28

Merged
mstephenholl merged 18 commits into
mainfrom
upstream-merge-24
Oct 20, 2026
Merged

mstephenholl merged 18 commits into
mainfrom
upstream-merge-24

feat(pstack): port maintain-formal-verification-skill

a55d182
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Analyze (python)
succeeded Oct 20, 2026 in 47s