I tried importing these cards to Pleco. Somehow, the number of cards in each level does not match with the vocabulary table of HSK 3.0. Or maybe I making a mistake in importing these cards? Waiting for the updated premade cards so I could directly import in app. Thanks.Just OCR'ed these this morning from the official PDF, will embed them in the app once they've been cleaned up + we've added pinyin etc to disambiguate any entries that need that.
If you want to use these somewhere other than Pleco there's a Github repo here and both this and that version are MIT licensed.