Repository navigation

pstack: add maintain-formal-verification-skill - #716

Merged

cursor[bot] merged 7 commits into

mainfrom

lauren/maintain-formal-verification-skill-d5ef

Oct 19, 2026

Merged

pstack: add maintain-formal-verification-skill#716
cursor[bot] merged 7 commits into
mainfrom
lauren/maintain-formal-verification-skill-d5ef

Commits on Oct 18, 2026
- Record covered code and sync commit in formal verify skills
  
  cursoragent
  and
  poteto
  committed
  5b820cf
- Add maintain-formal-verification-skill
  
  cursoragent
  and
  poteto
  committed
  ef12a4f
- Find the formal verify skill by what it does, not by name
  
  cursoragent
  and
  poteto
  committed
  8b48c06
- Name maintain-formal-verification-skill in the formal verification docs
  
  cursoragent
  and
  poteto
  committed
  f3b99d9
- Point the guide page 9 link at the formal verification section
  
  cursoragent
  and
  poteto
  committed
  c50858d
Commits on Oct 19, 2026
- Keep the sync commit in place for a blocked check
  
  cursoragent
  and
  poteto
  committed
  0cd6fa9
- Merge remote-tracking branch 'origin/main' into lauren/maintain-formal-verification-skill-d5ef
  
  cursoragent
  and
  poteto
  committed
  011ef53