Prodromos — $0 pre-flight перед дорогим DFT

πρόδρομος — «бегущий впереди».

DFT-расчёт методом упругой ленты (NEB) или поиск седловой точки может стоить дней GPU-времени и сотен долларов. И обескураживающе много таких расчётов обречены ещё до старта.

Мы выучили эти failure-modes дорогой ценой:

  • концы пути, которые тихо релаксируют в один и тот же бассейн — и «барьер» оказывается фикцией;
  • не та структура, молча лежащая на диске — 44-часовой расчёт на ячейке, потерявшей ту самую вакансию, которую и собирались изучать;
  • мигрирующий протон, садящийся на не тот атом посреди пути — и расчёт меряет уже другой механизм;
  • концы пути на двух разных магнитных листах — одношаговый NEB становится некорректным;
  • геометрии от foundation-ML, которые локально выглядят нормально, но несут десятки эВ скрытой ошибки решётки.

Prodromos — ответ на это: $0 pre-flight гейт, который запускается впереди дорогого расчёта и говорит, стоит ли вообще идти этим путём. Это лестница доказательств — сначала самый дешёвый тест, остановка на первом жёстком диагнозе — и это не замена Quantum ESPRESSO / ABACUS / jDFTx, а тонкий дешёвый слой проверок вокруг них.

Построен на TM-Spec — том самом «support layer», который мы обещали начать строить. Кейс и есть TM-Spec-документ; Prodromos сам конвертирует сырой QE/ABACUS-инпут в него и подтягивает структуры и магнитные основные состояния из OPTIMADE / NOMAD / Materials Project / MAGNDATA для перекрёстной проверки — ещё до того, как задействован хоть один GPU.

Поставляется как CLI и MCP-сервер, так что ИИ-ассистент может вызвать каждый гейт напрямую и получить структурированный вердикт — GO, маршрут на более дешёвый тест или NO-GO с причинами и следующими шагами. 544 теста; прототипы методов поиска валидированы на аналитических потенциалах.

Лицензия MIT, сделан под наши собственные Fe–S кампании и открыт сообществу.

Prodromos на GitHub →