Veja como é fácil integrar a carteira @get_para no Miden.