gary-sanders-jr/taku-skill-adaptations/assumption-counterexample-evidence-bankskill versions