$MIRA يبني شيئًا رائعًا جدًا باستخدام التحقق بواسطة الذكاء الاصطناعي. بدلاً من الاعتماد على نموذج واحد، يستخدم مجموعة من نماذج الذكاء الاصطناعي المختلفة التي تصوت على الناتج، نوعًا ما مثل إجماع لامركزي لتحديد ما إذا كان شيء ما صحيحًا وموثوقًا به بالفعل.

الترتيب كله لامركزي تمامًا: لا تتحكم شركة واحدة في النماذج. يديرها مشغلو عقد مستقلون ويحصلون على مكافآت اقتصادية مقابل توفير الحوسبة والتحقق. كيف يعمل الأمر من جانب المستخدم أيضًا مثير للاهتمام، عندما ترسل موجهًا، ميرّا لا تقتصر على إطعامه لنموذج واحد فقط وتسمية الأمر منتهياً.
يقسم موجهك إلى ادعاءات صغيرة قابلة للتحقق. ثم تُرسل تلك الادعاءات الفردية إلى مجموعة من النماذج المختلفة التي يديرها مشغلو العقد للتحقق والتصويت على مدى صحة كل جزء. فقط عندما يتفق الشبكة على الإجابة النهائية يتم تصنيفها كمتحقق منها.