They have photos of the chip: it's a Kinetex 7 (but I can't make out exact model number). This would be a direct competitor with HAC's F1 Mini? (https://www.hashaltcoin.com/en/batches/14). Except HAC cranks out bitstreams while there may be zero support for this AGPF SK1.