إثباتي — صياغة العقود بالذكاء الاصطناعي