docs: update CLAUDE, AGENTS, add manual tasks file#24

sparshsam merged 1 commit into

mainsparshsam/openproof:mainfrom

feat/docs-and-manual-taskssparshsam/openproof:feat/docs-and-manual-tasksCopy head branch name to clipboard