Mechanized Platinum Repository of Reconstruction (Handcrafted)