kshana-mcp: запитайте свого ШІ-асистента, і відповість рушій

kshana-mcp — це сервер Model Context Protocol (MCP) для Kshana, симулятора стійкості PNT (позиціонування, навігація та час) з відкритим кодом. Він дає змогу асистентові зі штучним інтелектом (ШІ) запустити справжній рушій і прочитати його JSON (JavaScript Object Notation), замість того щоб вгадувати математику. Він працює через stdio (стандартний ввід і вивід) з будь-яким клієнтом, сумісним з MCP, зокрема Cursor і JetBrains AI Assistant / Junie.

Математика, для якої Kshana перевірена за зовнішнім еталоном, — це саме те, де мовна модель вгадує погано: розповсюдження орбіт за SGP4 (Simplified General Perturbations 4), системи відліку IAU (Міжнародного астрономічного союзу), девіації Аллана, доступність GNSS (глобальна навігаційна супутникова система) і DOP (геометричний чинник, погіршення точності), рівні захисту ARAIM (розширений автономний контроль цілісності приймача), злиття GNSS та INS (інерціальної навігаційної системи) і моделі квантових датчиків. Поставте запитання; асистент запустить справжній сценарій і отримає показники якості з їхнім походженням і позначкою VALIDATED або MODELLED.

Інструменти#

Кожен інструмент - тонка, точна обгортка над публічною функцією бібліотеки kshana; жодної нової логіки симуляції тут немає, тож агент виконує саме перевірений рушій.

Інструменти IQ ГНСС (GNSS): файли на вході, компактний JSON на виході#

Записи IQ сягають гігабайтів, тому інструменти iq_* ніколи не передають відліки через протокол. Вони дотримуються одного контракту:

• Робочий каталог. Сервер читає та записує файли IQ лише всередині теки, названої в KSHANA_MCP_IQ_DIR. Кожен аргумент шляху відраховується від неї (абсолютний шлях має розв'язуватися всередині неї); входи розв'язуються через символічні посилання до перевірки, тека виходу вже має існувати всередині неї, а наявний вихід замінюється лише з overwrite: true. Якщо змінну не задано, файлові інструменти IQ вимкнені та повідомляють, як їх увімкнути; усі інші інструменти не зачіпаються.
• Бюджет відліків. Один виклик формує або обробляє не більше KSHANA_MCP_IQ_MAX_SAMPLES комплексних відліків (типово 50 000 000). У байтах це 400 МБ як cf32_le (8 байтів на комплексний відлік), 200 МБ як ci16_le (4 байти) і 100 МБ як ci8 (2 байти); сцена записується як cf32_le, якщо format не вказує іншого. Перевірка виконується до будь-якої роботи, а у відмові названо тривалість або max_seconds, що вкладається.
• Компактні відповіді. Кожен інструмент відповідає одним підсумком JSON: піки захоплення, C/N0, стан утримання та кожен записаний файл зі шляхом і розміром у байтах. Таблиці для кожної епохи йдуть у файли json_out / csv_out, які ви називаєте.
• Невідомі аргументи відхиляються, а не ігноруються, тож помилка в назві параметра є помилкою.

Кожен інструмент виконує той самий шлях коду, що й kshana iq у командному рядку, у межах процесу. Шар лише програмний: він записує файли для програмних приймачів і не керує жодним радіообладнанням. Шар IQ не додає синтезу завад чи спуфера, і нічого ніколи не передається. (Окремий вид сценарію spectrum може записувати знімки IQ аналітичного глушника у файл.)

{
  "mcpServers": {
    "kshana": {
      "command": "/Users/you/.cargo/bin/kshana-mcp",
      "env": { "KSHANA_MCP_IQ_DIR": "/Users/you/iq" }
    }
  }
}

З образом Docker змонтуйте теку та спрямуйте змінну на неї: docker run --rm -i -v "$PWD/iq:/iq" -e KSHANA_MCP_IQ_DIR=/iq ghcr.io/ashfordeou/kshana-mcp.

Доступний кожен вид#

run_scenario розподіляє за kind сценарію, тож через нього виконується кожен вид, названий list_scenario_kinds. Це включає новіші родини, кожна з вбудованими прикладами, які агент може отримати:

list_example_scenarios з kind називає кожен вбудований приклад цього виду. Анімації, звіти та експорти для взаємодії не є видами: це подання прогону, і animate_scenario, report_scenario та export_interop повертають їх для будь-якого сценарію, до якого вони застосовні.

Не обслуговуються: набори досліджень (kshana --study <suite.toml>), бо набір називає сусідні файли сценаріїв на диску, а інструменти сценаріїв файлів не читають. Запускайте кожного учасника через run_scenario. (Інструменти IQ файли читають і записують, але лише в межах свого робочого каталогу.)

Встановлення сервера MCP#

Консультативне програмне забезпечення, не навігаційне обладнання із затвердженням типу: відповідальність за навігацію залишається на операторі. Сервер працює на вашому комп'ютері; нічого не надсилається до Ashforde OÜ.

Уривок із назвами сторонніх клієнтів ШІ тут опущено; він є в mcp/kshana-mcp/README.md на GitHub.

З локальної копії або git (розробка):

cd mcp/kshana-mcp && cargo install --path .
cargo install --git https://github.com/AshfordeOU/kshana kshana-mcp

Режим HTTP (власне розгортання)#

kshana-mcp --http 127.0.0.1:8080 обслуговує ті самі інструменти через потоковий HTTP за адресою /mcp. Він прив'язується лише до loopback; адреса не з loopback потребує --allow-remote і токена власника в KSHANA_MCP_HTTP_TOKEN; файлові інструменти IQ вимкнені; розмір, час і паралелізм запитів обмежені; заголовок CORS не надсилається. Kshana не розміщує кінцеву точку: ви розгортаєте її самостійно. Див. docs/deploy/mcp-http.md.

cargo install розміщує kshana-mcp у вашому PATH (зазвичай ~/.cargo/bin/kshana-mcp). Сервер спілкується через JSON-RPC (віддалений виклик процедур JSON) по stdio; журнали йдуть у stderr. Збірка з вихідного коду потребує набору інструментів Rust ≥ 1,88 (виправлений SDK rmcp 2.x потребує цього, як і бібліотека kshana); образу Docker це не потрібне.

Реєстрація у клієнті#

Практично кожен клієнт MCP використовує той самий блок конфігурації mcpServers - зареєструйте двійковий файл kshana-mcp за абсолютним шляхом:

{
  "mcpServers": {
    "kshana": {
      "command": "/Users/you/.cargo/bin/kshana-mcp",
      "args": [],
      "env": {}
    }
  }
}

Або з образом Docker замість локального двійкового файлу (PATH не потрібен):

{
  "mcpServers": {
    "kshana": {
      "command": "docker",
      "args": ["run", "--rm", "-i", "ghcr.io/ashfordeou/kshana-mcp"]
    }
  }
}

Де міститься цей блок, залежить від клієнта:

• Cursor - ~/.cursor/mcp.json (глобально) або .cursor/mcp.json (для проєкту).
• JetBrains AI Assistant / Junie - Settings → Tools → AI Assistant → Model Context Protocol → Add → As JSON, вставте блок, а потім повністю перезапустіть IDE (інтегроване середовище розробки).
• Настільні асистенти - більшість використовує …_config.json з тією самою структурою mcpServers; розташування файлу дивіться в документації вашого клієнта.
• Агенти CLI - багато хто приймає той самий JSON через механізм mcp add / mcp.json.

Завжди використовуйте абсолютний шлях до двійкового файлу. Для діагностики задайте RUST_LOG=debug в env (діагностика йде в stderr; stdout зарезервовано для протоколу JSON-RPC).

Спробуйте#

Після реєстрації запитуйте в асистента, наприклад:

• «Перелічи види сценаріїв Kshana.» → list_scenario_kinds
• «Покажи мені приклад спектра Kshana і запусти його.» → list_example_scenarios, get_example_scenario, run_scenario
• «Запусти сценарій holdover годинника Kshana з порогом 20 нс і 2-годинним відключенням ГНСС (GNSS); яким є квантовий і класичний holdover?» → run_scenario
• «Експортуй це угруповання GPS (глобальна система позиціонування) як SP3.» → export_sp3
• «Дай мені таблицю realtime-frame-eop у форматі CSV.» → export_table_csv
• «Покажи той прохід Iridium на глобусі Cesium.» → list_export_formats, export_interop
• «Анімуй кампанію глушіння.» → animate_scenario
• «Дай мені звіт для цього прогону з його записом відтворюваності.» → report_scenario
• «Зроби однесекундну сцену GPS L1 з PRN 3 і 17, а потім захопи та відстеж її.» → iq_signals, iq_scene, iq_acquire, iq_track

Примітка щодо проєктування - чому окремий крейт#

Сервер є окремим крейтом поза робочою областю зі власним Cargo.lock, тож офіційний Rust MCP SDK (набір для розробки програмного забезпечення) rmcp і його асинхронне середовище виконання ніколи не потрапляють у граф залежностей опублікованого крейту kshana: користувач бібліотеки чи Python не компілює сервер, який не запускає. (Спершу його відокремили, бо rmcp є edition 2024 і потребує rustc ≥ 1,85, тоді як головний крейт тоді обіцяв 1,75. Тепер і бібліотека, і цей сервер оголошують 1,88 - нижню межу виправленого з погляду безпеки rmcp 2.x та оновлених крейтів RustCrypto.) Безперервна інтеграція (CI) перевіряє цей крейт окремо - тести та cargo deny за його lock-файлом. Дерево ліцензій rmcp чисте (Apache-2.0/MIT/BSD), тож, на відміну від крейту перехресної перевірки xval/anise-frames, який він в іншому віддзеркалює, розділення не стосується ліцензування.

Ліцензія: лише AGPL-3.0, GNU Affero General Public License версії 3 лише (або комерційна ліцензія від Ashforde OÜ; див. LICENSING.md у репозиторії).