Migrate cli to shadcn/ui with mantine fallback#57

eluce2 wants to merge 5 commits intomainproofgeist/proofkit:mainfrom

cursor/migrate-cli-to-shadcn-ui-with-mantine-fallback-ea74proofgeist/proofkit:cursor/migrate-cli-to-shadcn-ui-with-mantine-fallback-ea74Copy head branch name to clipboard