I have the code available online, and it has been heavily peer reviewed (
github.com/benbotto/rubiks-cube-cracker), but extracting the code that I used to come up with the 6513 number would be difficult due to the amount of code involved (the search code, the pattern database, the rubik's cube models, etc.). In that repository, I've implemented Korf's optimal solver (God's algorithm), and Thistlethwaite's algorithm, and both work well. I'm working on an improvement to the latter, though, and I'm struggling with this part of the math.