ps - I'm fully aware of generative music AIs (in fact I maintain one: https://signalsandsorcery.org/ , but in this case I'm interested in brute-force searching datasets.
Midi 2 Nyquest[2] dumped to python AI used to visual identify requested cord progression (aka automate what a human reading a musical score would do) would be pretty cool (get location & stats of where progression occures)
------
[1] nyquest : https://en.wikipedia.org/wiki/Nyquist
[2] midi2tones : https://github.com/MLXXXp/midi2tones/blob/master/midi2tones....
example unix shell command line:
cat midi.data.file | grep 'C - 4/4 - Am7-Am7-G7-Dm7'
Pearl / python / ruby / go / lisp shell etc. make for easier paring with gui & on-line use of public domain datasets (vs. downloading dataset file/db)