docs: add GitHub workflow guide for AI docs#252

eluce2 merged 4 commits into

mainproofsh/proofkit:mainfrom

docs/ai-github-workflowproofsh/proofkit:docs/ai-github-workflowCopy head branch name to clipboard