https://github.com/GammaMarkets/market-spec
It's a NIP-99 extension, yes. Several implementations are linked there but none are building on any of the solutions you've mentioned afaik.
Feel free to join the Signal group: https://signal.group/#CjQKIO0jmW-Ir0eVPk1u4fPWionN3Ua9c9M-8aNk1lXNgrsGEhCvj9-DV1ykzbIWjWEbUMpn