github import of static cap config proofs