The miner in the wallet does work, many on Discord have used it. You just have to select solo mining and enter your address. (Sometimes you have to stop and start it again before it actually starts mining)
There is now a mining pool too: https://poolmine.xyz/