No Dex's on Bitcoin as far as I know, you can go P2P using robosats or use a swapping service like  nostr:npub1psm37hke2pmxzdzraqe3cjmqs28dv77da74pdx8mtn5a0vegtlas9q8970 if you've got to move between layers