Add context guide, skill files and dev scripts#1132

anvacaru wants to merge 6 commits into

masterruntimeverification/kontrol:masterfrom

claude-integrationruntimeverification/kontrol:claude-integrationCopy head branch name to clipboard