Here is where the repair button is:
Run this from your server's command line:
mysqlcheck --repair --all-databases
I had the same issue when my server free disk space available was 0
You can use the command (there must be ample space for the mysql files)
REPAIR TABLE `<table name>`;
for repairing individual tables