Add Quint tooling, modeling skills, and mutation cursor spec - #233

Add Quint tooling, modeling skills, and mutation cursor spec#233

davidabram merged 16 commits into

maincrocoder-dev/shared-context-engineering:mainfrom

quintcrocoder-dev/shared-context-engineering:quintCopy head branch name to clipboard