Construct agent and skill files from common templates#3

klinvill wants to merge 1 commit into

FStarLang:mainFStarLang/proof-copilot:mainfrom

klinvill:agent-templateklinvill/proof-copilot:agent-templateCopy head branch name to clipboard