Download

Skill UI

Browse and discover 19721+ curated skills

All Development Artificial Intelligence Design & Creative Product & Business Data Science Marketing Soft Skills Productivity Engineering Languages

Search Checker , found 1 results

Default Newest Most Downloaded

Mathematical Proof Verification

wanshuiyin/Auto-claude-code-research-in-sleep

Reads a LaTeX proof, finds gaps via cross-model adversarial review, fixes each gap with full derivations, re-reviews until convergence, and outputs an audit report with proof-obligation accounting.

1

Language