The VSCode extension needs a --list-harnesses flag from Kani which gives a list of the metadata on all present harnesses in a crate. While this API is intended to be consumed by the VSCode extension, there could be other uses for it too.