mignis.py