Как запустить Афину | Кок | Изабель кодирует удаленно?

Я создавал Web IDE (WIDE) для доказательства теорем в области компьютерных наук. Возможно, вы знаете, что есть 3 наиболее распространенных помощника в доказательствах, которых зовут Афина, Изабель и Кок. Большинство программистов могут забыть свой синтаксис, области видимости и т. д. Моя веб-среда IDE работает с перетаскиванием и примерами. Вы можете редактировать и писать на нем дополнительный код, вы можете скачать его, вы можете поделиться им, вы можете сохранить его и т. д. Он также имеет собственный парсер. Пока все в порядке. Осторожно! Вот мой вопрос: как я могу запустить коды пользователей и получить результат (особенно для Athena http://proofcentral.org/), когда пользователь хочет запустить свой код в моей веб-среде IDE. На самом деле, я могу сделать это через mouse_event (user32) и другие с помощью pinvoke (вызов платформы). Моя программа отправляет коды через Интернет на работающий ПК (не на сервер. Поскольку у сервера нет экрана, поэтому программа не будет знать, куда щелкнуть), затем ПК получает коды. Затем программа щелкает значок «emacs». Через несколько секунд (для открытия и загрузки dll Athena) программа вставляет эти коды Athena в оболочку emacs. Emacs запускает эти коды и возвращает результат. После этого программа выбирает, копирует и возвращает результат в Web IDE. Однако это причудливый и хитрый способ. Я хотел бы сделать лучший способ. Спасибо за внимание. Лучший