← Directory

gyf9712

GitHub · 1 post · github.com ↗

Claude Skill 4

A 4-skill pipeline for Claude Code: verify mathematical proofs → repair with literature support → sharpen the theory → write corrected proof...

Python MIT Updated 1mo ago