Docs: add AI upgrade & persistent data guides, AgentPrompt component#296

eluce2 wants to merge 1 commit into

mainproofsh/proofkit:mainfrom

fm26proofsh/proofkit:fm26Copy head branch name to clipboard