Kshana kasutamine AI agendist
Agendile (või agenti juhtivale isikule): millist tööriista millise küsimuse jaoks kutsuda, mida tööriistad teevad ja mida mitte ning mida iga vastusega koos hoida. Pinnad ja lahtrid, mis konkreetsel pinnal ei ole saadaval: SURFACES.md.
Ühenda#
npx -y kshana-mcp@0.37.0 # or: uvx kshana-mcp==0.37.0, brew, scoop, winget, cargo, docker
Kolmandate osapoolte AI klientide nimetamise lõik on siit välja jäetud; see on GitHubis failis docs/AGENTS.md.
Reegel iga vastuse jaoks#
Käivita mootor; ära arva arve. Esita, mida tööriist tagastas, koos selle ühiku ja tõendustasemega (VALIDATED välise sõltumatu etaloni vastu või MODELLED), stsenaariumi, algväärtuse (seed) ja mootori versiooniga, et käivitust saaks korrata. Hoia iga tulemuse enda ettevaatusmärkused sellega koos.
Milline tööriist millise küsimuse jaoks#
| Küsimus | Tööriist (MCP) | Kaldkriipsukäsk |
|---|---|---|
| Käivita või selgita PNT stsenaariumi (orbiidid, GNSS, ajastus, sulandamine, Kuu, optilised lingid, ...) | 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 |
| Kas see vastuvõtja logi või selle laeva NMEA oli usaldusväärne ja millal see lakkas olemast? | assess_receiver_log (mis tahes logivorming), assess_vessel_log (laeva NMEA, pakett), assess_vessel_stream (piiratud väljavõte) |
/kshana-assess-receiver |
| Mul on väljaõppeks vaja sünteetilist NMEA-d segamise, eemaletiitmise, aja spuufimise või taasesituse sündmusega | generate_training_nmea |
/kshana-training-scenario |
| Näita laeva usaldusskoori seires või SIEM-vormingutes (Prometheus, CEF, LEEF, OTLP) | trust_telemetry |
/kshana-trust-telemetry |
| Skoori vastuvõtja logi avaldatud Jammertesti ajakava suhtes (tuvastusviivitus, tuvastamata alarmid, valehäired, taastumisaeg) või muuda see plaan sündmusteks | jammertest_score, jammertest_import |
/kshana-jammertest |
| Tee rikkumist paljastav kirje sellest, mida mootor laeva logi ühe akna kohta ütles, või kontrolli seda | create_evidence_pack, verify_evidence_pack, attach_evidence_timestamp |
/kshana-evidence-pack |
| Millise Galileo satelliitide navigatsiooniandmeid see vastuvõtja voog autentib (OSNMA)? | puudub: MCP-s ei ole. Kasuta kshana osnma verify (CLI), kshana.osnma_verify (Python) või osnma_verify (WASM, Studio OSNMA kaart) |
ei ole kaldkriipsukäsk |
| Vajan stsenaariumi sõiduki liikumist ja sündmuste aegu, et neid laboratoorse GNSS-i simulaatori kaudu taasesitada | export_test_bench |
/kshana-bench-export |
| Millised avalike raamistike nõuderead need käivitused toetavad tõendeid (supports evidence for) ja milline on lünk? | compliance_report (tulemusest tekstina), compliance_mapping (tabelid, käivitusi pole) |
/kshana-compliance-report |
| Käivita skooritud standardipakett (DHS RPCF katseprofiilid, IMO MSC.1/Circ.1575, ICAO Doc 9849 lisa F) enne käivitust väidetud lävede vastu? | list_standards_packs, run_standards_pack (anna aruanne ridade saamiseks käsule compliance_report) |
|
| Kontrolli LunaNet Augmented Forward Signal'i (koodid, SB1, kaadrivorming) LNIS V5 / LSIS-AFS V1.0 vastu või kontrolli sümbolivoogu? | lunanet_afs_check (mode spec, symbols või generate); alamkaadrite 2 kuni 4 LDPC-d ja CRC-24Q-d ei ole kontrollitud |
|
| Seo labori käivitus (stsenaarium, väidetud katsetingimused, vastuvõtja logi, skoor) ühes allkirjastatud paketis? | create_round_trip_pack pärast export_test_bench (docs/spec/TEST-CONDITIONS.md) |
|
| Skoori tuvastus- või holdover-esitus kshana-bench tõefaili vastu või renderda tulemusfailid edetabelilehena? | score_benchmark, render_leaderboard |
— |
| Vajan stsenaariumi, mis lendaks GeoJSON-marsruuti (terrain-nav, terrain-slam, gravity-map, combined-altpnt) | import_route |
/kshana-import-route |
| Milliseid satelliite näeb kasutaja tänaval, sadamas, fjordis või konteinerterminalis ning millised on DOP ja veaellips? | sky_geometry (päring või skyline_preset); stsenaariumi jaotis [skyline] käsu run_scenario kaudu (orbit ja integrity vajavad user_site) |
/kshana-run |
| Kus on GNSS näinud halvenenud ja kui suur osa sellest marsruudist on selles? | build_interference_map, seejärel route_exposure |
/kshana-interference-map |
| GNSS-i IQ-salvestised (stseen, püüdmine, jälgimine, esiots, kampaaniad) | Esmalt iq_signals, seejärel iq_* tööriistad |
/kshana-iq |
Oskused vessel-receiver-trust, training-nmea-scenario, trust-telemetry, compliance-mapping, test-bench-export, gnss-iq ja interference-map-route-exposure kannavad allolevaid reegleid agentidele, mis laadivad oskusi.
Mida iga tööriist ei tee#
- Failide lugemine või kirjutamine. Sisu on sisseehitatud: sisendid on tekst päringus, piiratud 4 MiB-ga, ja stsenaariumi väli, mis nimetab faili, lükatakse tagasi. Ainult
iq_*tööriistad puudutavad kausta, ja ainult seda, mille nimetabKSHANA_MCP_IQ_DIR, iga rada sellega piiratud. - OSNMA kontrollimine. MCP tööriista pole: sisend on pikk töötlemata vastuvõtja voog (I/NAV lehed või UBX salvestis), mis sobib CLI-le ja Pythonile, ning seda võtvad tööriistad lisaksid suure sisendi pinna ilma kasuta. Suuna kasutaja käsule
kshana osnma verify <file> --public-key ... --json(või Pythoniosnma_verify). Mida iganes selle väljund ütleb, kanna nõuanne sõna-sõnalt kaasa: ainult autentimise olek, mitte navigatsiooni terviklikkuse teenus, mitte tüübikinnitust omav navigatsiooniseade ja ilma spuufimisvastase toimivuse väiteta; tulemus on tähenduslik ainult Merkle'i juure või avaliku võtmega, mille kasutaja sai teist teed pidi. - Protsessi käitamine.
receiver-trust livetöötava vooluna (koos väravaga ja--listen), telemeetria eksportijad (trust-telemetry: Prometheus, syslog, OTLP) ja väljaõppe-NMEA voogedastus aadressile on ainult käsurealt.assess_vessel_streamskoorib väljavõtet sama mootoriga ega kirjuta ühtegi porti. Väljavõtte tööriistad tagastavad live JSON-lines skeemi 1,3 (advisoryavaldus ja satelliitidegeometryigal epohhil,classigal mahaarvamisel); laeva käivituse CSV algab#kommentaarireaga, mis kannab sama avaldust, seega loe seda kommentaarivalikuga.--udpja--listen tcp:seovad loopback-aadressi, kui pole öeldud teisiti. - Signaali kirjutamine.
export_test_benchtagastab sõiduki liikumise ja märgistatud sündmuste intervallid tekstina; miski, mida see tagastab, ei ole raadiosageduslik ega baasribasignaal, ei modelleeri ega juhi seda, ja sündmus ei ole retsept häire tekitamiseks. Anna sellenoticefailidega kaasa; simulaator ja selle operaator vastutavad nende käitamise eest ainult seal, kus see on lubatud. - Kaardistusest rohkemat öelda.
compliance_reportväidab, milliseid raamistiku ridu käivituste komplekt toetab tõendeid (supports evidence for), koos iga rea lüngaga. See ei ütle kunagi, et raamistik on täidetud või toode hinnatud või heaks kiidetud; kanna sellestatementsõna-sõnalt kaasa ja ütle „toetab tõendeid (supports evidence for)“, mitte midagi tugevamat. See loeb sisseantud tulemuse ja stsenaariumi teksti, mitte kunagi rada. - Andmete tõmbamine. Maismaapolügooni allalaadimine on ainult käsurealt ja vajab
--allow-network. Anna maismaafail, kui soovitakse, tekstina. Kasuta ainult andmeid, mida kasutajal on lubatud kasutada. - Midagi edastada või RF-i sünteesida. Väljaõppegeneraator kirjutab NMEA teksti; IQ-kiht kirjutab tarkvaravastuvõtjate jaoks näidisfaile.
Mida vastusega koos hoida#
| Väljund | Hoia |
|---|---|
| Satelliitide geomeetria ja mahaarvamise klassid (0,36) | Esita geomeetria skoori kõrval ja iga mahaarvamise klass sellisena, nagu tagastati: geometry tähendab taevast (väide taeva kohta, mitte järeldus, et rünnakut ei toimunud), environment signaalikeskkonda, inconsistency ründetaolist tõendit. Ütle „geomeetria teadmata“, kui olek on unknown (logis pole GSV-d ega GSA-d); ära järelda seda. Lävendid on MODELLED väidetud päritoluga. |
| Vastuvõtja usaldusskoor | Nõuandev: mitte tüübikinnitust omav navigatsiooniseade (IEC 61108, IEC 61162); vastutab jätkuvalt operaator. MODELLED. Väida laeva piirid enne käivitust ja ära häälesta lävendit tulemuse järgi. Kõrge skoor ei ole tõend tõelise lahendi kohta; kontrollid ei näe spuuferit, mis on kooskõlas iga teise sensoriga. |
| Tõendipakett | Tehniline kirje, mitte juriidiline arvamus, faktiväide ega heakskiit. Kontrolli allkirjastaja avaliku võtmega, mis on saadud teist teed pidi; ilma selleta on otsus intact-signer-not-pinned, mis tõestab ainult terviklikkust võtme suhtes, mida pakett ise nimetab: ütle „terve, allkirjastaja pole tuvastatud“, mitte kunagi „kontrollitud“. Ära kunagi tagasta, logi ega küsi allkirjastamise seemet (seed) vestluses, kui võti on oluline: kasuta CLI-d. |
| Väljaõppe-NMEA | Ainult tekst, väljaõppeks ja katsetamiseks, mitte kunagi laeva reaalajas navigatsioonisüsteemidele. Tagasta algväärtus (seed) ja juhendaja logi. |
| Häirekaart, marsruudi ekspositsioon | See, kuidas täpsuskoode loetakse ning võrgu ja marsruudi geomeetria, on VALIDATED sõltumatute teekide vastu sünteetilistel sisenditel; meetodi lävendid jäävad MODELLED ning seda, et halvenenud lahter on häire, ei kontrollita: halvenenud lahter ei tuvasta häiret põhjusena. Lahter, mida ei vaadeldud, ei ole tõend selge marsruudi kohta. Varasemad aruanded, mitte prognoos. Ainult koond: ära proovi identifikaatoreid taastada. ADS-B ja AIS kaardid jäävad eraldi. |
Kiirgusallika piirkond (interference-map locate) |
MODELLED: teostatav piirkond raadionähtavuse korral, mitte fikseering. Esita piirkond selle öeldud usaldusnivool koos tsentroidi ja selle ellipsiga, mitte kunagi ainult tsentroidi; ütle unconstrained, kui andmed seda ei kitsenda; ütle, et see sõltub mudelist (kontrollitud ainult sünteetilistel andmetel; eelregistreeritud Jammertesti võrdlus käivitati üks kord ja oli mõlema allika puhul NOT ASSESSABLE, seega midagi ei testitud väliselt). Neutraalne sõnastus: „hinnanguline kiirgusallika piirkond“; ära kunagi nimeta ega vihja, kes või mis seisab allika, riigi, jõu või kavatsuse taga. Ainult koond; ära püüa tuvastajaid taastada. Kiirgusallika piirkondade avaldamine avalikus observatooriumis on välja lülitatud. |
| Taevageomeetria, horisondijoon | MODELLED geomeetria väidetud veamudeli all, ainult otsenähtavus: ei mingit difraktsiooni, mitmeteelevi ega mitteotsenähtavuse vastuvõttu. Eelseadistused on REPRESENTATIVE, mitte mõõdistused; kanna eelseadistuse päritolu kaasa. Eelseadistatud konstellatsioonid on esinduslik taevas, mitte kuupäeva taevas. Ellips skaleerib väidetud UERE-d: mitte mõõdetud täpsus ja mitte terviklikkuse piir. Hoia advisory alles. |
Optilise lingi kättesaadavus (optical-atmosphere, 0,37) |
MODELLED, nõuandev. Pilvekliimad on väidetud sisendid, mitte andmestik, ja ühtegi mõõdetud kättesaadavuse kirjet ei ole võrreldud: ütle „nende eelduste korral“, mitte kunagi „kättesaadavus sellel asukohal“. Hoia asukoha lagi (availability_ceiling_pct: mida ükski varu ei tõsta) selle kättesaadavuse kõrval ja ütle, millised tehnikakasud on sisendid (Kshana ei modelleeri adaptiivoptika silmust). Arvutused on kontrollitud sõltumatu programmi vastu, mis kontrollib valemite teostust, mitte atmosfääri. |
Holdover-test (holdover-test, 0,38) |
MODELLED, nõuandev. Ütle „mõõdetud maski vastu“, mitte kunagi, et kell või süsteem vastab soovitusele või on selle vastu heaks kiidetud. Kaks aega (GNSS eemaldatud, GNSS taastatud) on operaatori väide: Kshana ei eemaldanud ega taastanud midagi ega saa neid kontrollida, seega tsiteeri neid väidetuna. Mask, mille jaoks kirje on liiga lühike, on INCOMPLETE, mitte kunagi läbimine. Servo logi (linuxptp, chrony) on viga servojuhtimise all, mitte sõltumatu mõõtmine UTC vastu; ütle, millisest kirjest arvud pärinevad. Vt docs/TIMING-HIL.md. |
| Mis tahes stsenaariumi tulemus | figure_tiers või label, mida see väidab, ja päritolurida. |
Piirid#
Kasuta sünteetilisi või kasutaja enda andmeid. Ära nimeta väljundites inimesi, laevu ega organisatsioone, mida kasutaja sisendis ei olnud. Kshana on analüüsi- ja väljaõppetööriist, mitte lennu- ega navigatsiooniprodukt.