Here is the Benford Checker Benford.py. If you want to use it in conjunction with elliptic divisibility sequences, which are not in Sage, Kate Stange has a class to deal with these on her website. Some notes on this: