Proof Layer vs Claude Task Master | AllMCPs