fix(pstack): add TLA+ default and no-verifier fallback to create-formal-verification-skill - #721

fix(pstack): add TLA+ default and no-verifier fallback to create-formal-verification-skill#721

cursor[bot] merged 1 commit into

maincursor/plugins:mainfrom

lauren/formal-verification-tla-fit-wording-9247cursor/plugins:lauren/formal-verification-tla-fit-wording-9247Copy head branch name to clipboard