If the refactored SMC is still a Bitcoinlike UTXO cryptocurrency with the OP_CheckLockTimeVerify opcode, it can be integrated into Blocknet dx no problem.
I like gjhiggins' idea of moving the lost Cryptsy coins into a dev treasury. This kind of thing is no longer as taboo as it used to be, and I think any holders of SMC would support it if it meant a revival in potential and future value of their holdings.
Let me know if I can assist with anything.
I don't see Komodo being used much and DEXs now seem to have mostly Ethereum token trades but not the main cryptos.
https://np.reddit.com/r/Monero/comments/i1fknt/ccs_results_monero_atomic_swaps_research/Still more theoretical discussion about how swaps should work, it doesn't seem to have been solved yet properly.
I was thinking about interfacing with regular exchanges for now to get coins for withdrawal or to provide liquidity for certain pairs. Of course a better DEX solution would be more optimal though.
Let me know what kind of DEX you are thinking about, if there are any examples in particular.
I thought DEX as BlockNet, or Komodo's AtomicDex. there is also that of the blockchain of Burst but I don't know how it is.