Я хочу построить python API для Изабель. Мне было интересно, если это возможно? Можно ли отправить доказательства, тактику, команду и все, что будет делать джедит через Python и проверить тип доказательства?