skill-to-proof framework