Kshanan käyttö tekoälyagentista
Agentille (tai sitä ohjaavalle ihmiselle): mitä työkalua kutsua mihinkin kysymykseen, mitä työkalut tekevät ja eivät tee ja mitä jokaisen vastauksen mukana pitää säilyttää. Pinnat ja solut, jotka eivät ole käytettävissä tietyllä pinnalla: SURFACES.md.
Yhdistä#
npx -y kshana-mcp@0.37.0 # or: uvx kshana-mcp==0.37.0, brew, scoop, winget, cargo, docker
Kolmansien osapuolten tekoälyasiakkaita nimeävä kappale jätetään tässä pois; se on tiedostossa docs/AGENTS.md GitHubissa.
Sääntö jokaiselle vastaukselle#
Aja moottori; älä arvaa lukuja. Raportoi, mitä työkalu palautti, yksikköineen ja todisteiden tasoineen (VALIDATED ulkoista oraakkelia vasten tai MODELLED), skenaario, siemenluku ja moottorin versio, jotta ajon voi toistaa. Pidä kunkin tuloksen omat varaukset sen mukana.
Mikä työkalu mihinkin kysymykseen#
| Kysymys | Työkalu (MCP) | Kauttaviivakomento |
|---|---|---|
| Aja tai selitä PNT-skenaario (radat, GNSS, ajoitus, fuusio, Kuu, optiset yhteydet, ...) | list_scenario_kinds, list_example_scenarios, get_example_scenario, validate_scenario, run_scenario, report_scenario, animate_scenario, export_sp3, export_omm, export_oem, export_interop, list_export_formats, export_table_csv |
/kshana-run |
| Oliko tämä vastaanottimen loki tai tämän aluksen NMEA luotettava, ja milloin se lakkasi olemasta? | assess_receiver_log (mikä tahansa lokiformaatti), assess_vessel_log (aluksen NMEA, erä), assess_vessel_stream (rajattu ote) |
/kshana-assess-receiver |
| Tarvitsen koulutukseen synteettistä NMEA-dataa, jossa on häirintä- (jamming), drag-off-, ajan harhautus- tai toistotapahtuma | generate_training_nmea |
/kshana-training-scenario |
| Näytä aluksen luottamuspistemäärä valvonta- tai SIEM-formaateissa (Prometheus, CEF, LEEF, OTLP) | trust_telemetry |
/kshana-trust-telemetry |
| Pisteytä vastaanottimen loki julkaistua Jammertest-aikataulua vasten (havaitsemisviive, havaitsematta jääneet tapahtumat, väärät hälytykset, toipumisaika) tai muuta tämä suunnitelma tapahtumiksi | jammertest_score, jammertest_import |
/kshana-jammertest |
| Tee peukalointia paljastava tallenne siitä, mitä moottori sanoi aluksen lokin ikkunasta, tai tarkista sellainen | create_evidence_pack, verify_evidence_pack, attach_evidence_timestamp |
/kshana-evidence-pack |
| Minkä Galileo-satelliittien navigointidatan tämä vastaanottimen virta todentaa (OSNMA)? | ei mitään: ei MCP:ssä. Käytä kshana osnma verify (CLI), kshana.osnma_verify (Python) tai osnma_verify (WASM, Studion OSNMA-kortti) |
ei kauttaviivakomento |
| Tarvitsen skenaarion ajoneuvon liikkeen ja tapahtuma-ajat toistettavaksi laboratorion GNSS-simulaattorin kautta | export_test_bench |
/kshana-bench-export |
| Mille julkisen kehyksen vaatimusriveille nämä ajot tukevat todisteita, ja mikä on aukko? | compliance_report (tulostekstistä), compliance_mapping (taulukot, ei ajoja) |
/kshana-compliance-report |
| Aja pisteytetty standardipaketti (DHS RPCF -testiprofiilit, IMO MSC.1/Circ.1575, ICAO Doc 9849 Appendix F) ennen ajoa ilmoitettuja kynnyksiä vasten? | list_standards_packs, run_standards_pack (anna raportti komennolle compliance_report rivejä varten) |
|
| Tarkista LunaNet Augmented Forward Signal (koodit, SB1, kehysformaatti) LNIS V5 / LSIS-AFS V1.0:aa vasten tai tarkista symbolivirta? | lunanet_afs_check (tila mode: spec, symbols tai generate); alikehysten 2–4 LDPC:tä ja CRC-24Q:ta ei ole varmennettu |
|
| Linkitä laboratorioajo (skenaario, ilmoitetut testiolosuhteet, vastaanottimen loki, pisteytys) yhteen allekirjoitettuun pakettiin? | create_round_trip_pack komennon export_test_bench jälkeen (docs/spec/TEST-CONDITIONS.md) |
|
| Pisteytä havaitsemis- tai holdover-lähetys kshana-benchin totuustiedostoa vasten tai renderöi tulostiedostot tulostaulusivuksi? | score_benchmark, render_leaderboard |
— |
| Tarvitsen skenaarion, joka lentää GeoJSON-reitin (terrain-nav, terrain-slam, gravity-map, combined-altpnt) | import_route |
/kshana-import-route |
| Mitkä satelliitit näkee käyttäjä kadulla, satamassa, vuonossa tai konttiterminaalissa, ja mitkä ovat DOP ja virhe-ellipsi? | sky_geometry (pyyntö tai skyline_preset); skenaarion osio [skyline] työkalun run_scenario kautta (orbit ja integrity tarvitsevat user_site) |
/kshana-run |
| Missä GNSS on näyttänyt heikentyneeltä, ja kuinka suuri osa tästä reitistä on sen alueella? | build_interference_map, sitten route_exposure |
/kshana-interference-map |
| GNSS IQ -tallenteet (skene, kaappaus, seuranta, etupää, kampanjat) | Ensin iq_signals, sitten työkalut iq_* |
/kshana-iq |
Taidot vessel-receiver-trust, training-nmea-scenario, trust-telemetry, compliance-mapping, test-bench-export, gnss-iq ja interference-map-route-exposure sisältävät alla olevat säännöt agenteille, jotka lataavat taitoja.
Mitä kukin työkalu ei tee#
- Lukea tai kirjoittaa tiedostoja. Sisältö on rivinsisäistä: syötteet ovat tekstiä pyynnössä, rajattu 4 MiB:iin, ja skenaariokenttä, joka nimeää tiedoston, hylätään. Vain työkalut
iq_*koskevat kansioon, ja vain siihen, jonkaKSHANA_MCP_IQ_DIRnimeää, kaikki polut rajattuina siihen. - Varmentaa OSNMA:ta. MCP-työkalua ei ole: syöte on pitkä raaka vastaanotinvirta (I/NAV-sivuja tai UBX-tallenne), mikä sopii CLI:lle ja Pythonille, ja sellaista ottava työkalu lisäisi suuren syötepinnan ilman hyötyä. Ohjaa käyttäjä komentoon
kshana osnma verify <file> --public-key ... --json(tai Pythoninosnma_verify). Mitä tuloste sanookin, kuljeta ohjeellinen lausuma sanatarkasti mukana: vain todennuksen tila, ei navigoinnin eheyspalvelu, ei tyyppihyväksytty navigointilaite eikä väitettä harhautuksenestosuorituskyvystä; tulos on merkityksellinen vain, jos käyttäjällä on Merkle-juuri tai julkinen avain, jonka hän on saanut toista kautta. - Ajaa prosessia.
receiver-trust livekäynnissä olevana virtana (portin ja valitsimen--listenkanssa), telemetriaviejät (trust-telemetry: Prometheus, syslog, OTLP) ja harjoitus-NMEA:n suoratoisto osoitteeseen ovat vain komentorivillä.assess_vessel_streampisteyttää otteen samalla moottorilla eikä kirjoita mihinkään porttiin. Ote-työkalut palauttavat live JSON-lines-skeeman 1,3 (lausumaadvisoryja satelliittiengeometryjokaisella epookilla,classjokaisella päätelmällä); aluksen ajon CSV alkaa kommenttirivillä#, joka sisältää saman lausuman, joten lue se kommenttivalitsimella.--udpja--listen tcp:sitovat loopback-osoitteeseen, ellei toisin määrätä. - Kirjoittaa signaalia.
export_test_benchpalauttaa ajoneuvon liikkeen ja nimetyt tapahtumavälit tekstinä; mikään sen palauttama ei ole radiotaajuista tai kantataajuista signaalia, mallintaa sellaista eikä ohjaa sitä, eikä tapahtuma ole ohje häiriön tuottamiseen. Anna sennoticetiedostojen mukana; simulaattori ja sen käyttäjä vastaavat siitä, että niitä ajetaan vain siellä, missä se on sallittua. - Sanoa enemmän kuin kartoitus sanoo.
compliance_reportkertoo, mille kehysriveille ajojoukko tukee todisteita, kunkin rivin aukon kanssa. Se ei koskaan sano, että kehys täyttyy tai että tuote on arvioitu tai hyväksytty; kuljeta senstatementsanatarkasti mukana ja sano ”tukee todisteita”, ei mitään vahvempaa. Se lukee tulos- ja skenaariotekstiä, jonka annat, ei koskaan polkua. - Hakea dataa. Maa-aluepolygonien lataus on vain komentorivillä ja tarvitsee
--allow-network. Anna maatiedosto, jos halutaan, tekstinä. Käytä vain dataa, jonka käyttöön käyttäjällä on lisenssi. - Lähettää mitään tai syntetisoida RF-signaalia. Harjoitusgeneraattori kirjoittaa NMEA-tekstiä; IQ-kerros kirjoittaa näytetiedostoja ohjelmistovastaanottimille.
Mitä pitää säilyttää vastauksen mukana#
| Tuloste | Säilytä |
|---|---|
| Satelliittigeometria ja päätelmäluokat (0,36) | Raportoi geometria pisteytyksen rinnalla ja kunkin päätelmän luokka sellaisena kuin se palautetaan: geometry tarkoittaa taivasta (lausuma taivaasta, ei havainto siitä, ettei hyökkäystä tapahtunut), environment signaaliympäristöä, inconsistency hyökkäyksenkaltaista näyttöä. Sano ”geometria tuntematon”, kun tila on unknown (lokissa ei ole GSV:tä eikä GSA:ta); älä päättele sitä. Kynnysarvot ovat MODELLED ja niillä on ilmoitettu alkuperä. |
| Vastaanottimen luottamuspistemäärä | Ohjeellinen: ei tyyppihyväksytty navigointilaite (IEC 61108, IEC 61162); käyttäjä vastaa edelleen. MODELLED. Ilmoita aluksen rajat ennen ajoa äläkä säädä kynnysarvoa tulokseen sopivaksi. Korkea pistemäärä ei todista aitoa paikkaratkaisua; tarkistukset eivät näe harhauttajaa, joka on johdonmukainen kaikkien muiden anturien kanssa. |
| Todistepaketti | Tekninen tallenne, ei oikeudellinen lausunto, tosiseikkojen toteamus eikä hyväksyntä. Todenna allekirjoittajan julkisella avaimella, joka on saatu toista kautta; ilman sitä arvio on intact-signer-not-pinned, joka todistaa vain eheyden avainta vasten, jonka paketti itse nimeää: sano ”ehjä, allekirjoittajaa ei ole todennettu”, älä koskaan ”varmennettu”. Älä koskaan palauta, kirjaa tai pyydä allekirjoitussiemenlukua keskustelussa, jos avaimella on merkitystä: käytä CLI:tä. |
| Harjoitus-NMEA | Vain tekstiä, koulutukseen ja testaukseen, ei koskaan aluksen live-navigointijärjestelmiin. Palauta siemenluku ja ohjaajan loki. |
| Häiriökartta, reitin altistus | Tarkkuuskoodien lukutapa sekä ruudukon ja reitin geometria on VALIDATED riippumattomia kirjastoja vasten synteettisillä syötteillä; menetelmän kynnysarvot pysyvät MODELLED, ja sitä, että heikentynyt ruutu on häiriö, ei tarkisteta: heikentynyt ruutu ei osoita häiriötä syyksi. Ruutu, jota ei ole havaittu, ei ole näyttöä siitä, että reitti on vapaa. Menneitä raportteja, ei ennuste. Vain koosteet: älä yritä palauttaa tunnisteita. ADS-B- ja AIS-kartat pysyvät erillään. |
Lähetinalue (interference-map locate) |
MODELLED: mahdollinen alue radion näköyhteyden oletuksella, ei paikannus. Ilmoita alue ilmoitetulla luottamustasolla painopisteen ja sen ellipsin kanssa, ei koskaan pelkkää painopistettä; sano unconstrained, kun data ei kavenna sitä; sano sen olevan ehdollinen mallille (tarkistettu vain synteettisellä datalla; ennalta rekisteröity Jammertest-vertailu ajettiin kerran ja oli NOT ASSESSABLE molemmille lähteille, joten mitään ei testattu ulkoisesti). Neutraali sanamuoto: ”arvioitu lähetinalue”; älä koskaan nimeä tai vihjaa, kuka tai mikä on lähteen, valtion, joukon tai aikomuksen takana. Vain aggregaatti; älä yritä palauttaa tunnisteita. Lähetinalueiden julkaiseminen julkisessa observatoriossa on pois päältä. |
| Taivaan geometria, horisonttiprofiili | Geometria on MODELLED ilmoitetun virhemallin mukaan, vain suora näköyhteys: ei diffraktiota, monitie-etenemistä eikä ei-näköyhteysvastaanottoa. Esiasetukset ovat REPRESENTATIVE, eivät kartoituksia; kuljeta esiasetuksen alkuperätieto mukana. Esiasetetut satelliittitähdistöt ovat edustava taivas, eivät tietyn päivän taivas. Ellipsi skaalaa ilmoitetun UERE:n: ei mitattu tarkkuus eikä eheysraja. Säilytä advisory. |
Optisen yhteyden saatavuus (optical-atmosphere, 0,37) |
MODELLED, ohjeellinen. Pilvi-ilmastot ovat ilmoitettuja syötteitä, ei aineisto, eikä mitattua saatavuustietoa ole verrattu: sano ”näillä oletuksilla”, älä koskaan ”saatavuus kyseisellä paikalla”. Säilytä paikan katto (availability_ceiling_pct: mitä mikään marginaali ei nosta) saatavuuden rinnalla ja sano, mitkä tekniikkahyödyt ovat syötteitä (Kshana ei mallinna adaptiivisen optiikan silmukkaa). Numeriikka on tarkistettu riippumatonta ohjelmaa vasten, mikä tarkistaa kaavojen toteutuksen eikä ilmakehää. |
Holdover-testi (holdover-test, 0,38) |
MODELLED, ohjeellinen. Sano ”mitattu maskia vasten”, älä koskaan, että kello tai järjestelmä täyttää suosituksen vaatimukset tai on hyväksytty suositusta vasten. Kaksi ajankohtaa (GNSS poistettu, GNSS palautettu) ovat käyttäjän ilmoittamat: Kshana ei poistanut tai palauttanut mitään eikä voi todentaa niitä, joten lainaa ne ilmoitettuina. Maski, johon tallenne on liian lyhyt, on INCOMPLETE, ei koskaan läpäisy. Servoloki (linuxptp, chrony) on virhe servo-ohjauksessa, ei riippumaton mittaus UTC:tä vasten; sano, mistä tallenteesta luvut ovat. Katso docs/TIMING-HIL.md. |
| Mikä tahansa skenaarion tulos | Sen ilmoittama figure_tiers tai label, sekä alkuperärivi. |
Rajat#
Käytä synteettistä dataa tai käyttäjän omaa dataa. Älä nimeä ihmisiä, aluksia tai organisaatioita tuloksissa, joita ei ollut käyttäjän syötteessä. Kshana on analyysi- ja koulutustyökalu, ei lento- tai navigointituote.