agtest/mypy.ini