It streamlines an end-to-end GNSS processing workflow from data download to PPP-AR analysis, targeting atmospheric research with built-in scientific defaults like VMF3 mapping and stochastic ZTD.
A portable Codex plugin for downloading Hong Kong SatRef RINEX 3 observations and processing them with PRIDE PPP-AR for atmospheric applications.
hatanaka providing rinex-decompressPlace pdp3 and rinex-decompress on PATH, or set:
export PDP3=/path/to/pdp3
export RINEX_DECOMPRESS=/path/to/rinex-decompress
PRIDE_PPPAR_HOME and HK_GNSS_PYTHON are also supported.
codex plugin marketplace add huliyu040110/hk-gnss-pride-plugin
codex plugin add hk-gnss-pride@hk-gnss-research
Restart Codex or start a new task if the newly installed skill does not appear immediately.
Invoke the bundled skill:
$process-hk-gnss-pride download and process all Hong Kong stations from 2026-05-10 through 2026-05-12 UTC
Data defaults to the active workspace's data/ directory. The workflow never removes raw RINEX files and replaces existing solution days only after an explicit request.
PRIDE PPP-AR and downloaded GNSS/product data are not included in this repository.
The plugin workflow and bundled scripts are released under the MIT License. PRIDE PPP-AR, Hatanaka, Hong Kong SatRef data, and external precise products remain subject to their respective licenses and terms.
Portable Codex plugin for Hong Kong SatRef RINEX download and PRIDE PPP-AR atmospheric processing
Similar projects matched by category, topics, and programming language.
Harness Engineering is a methodology for improving coding agent outputs by carefully crafting the environment around them—providing curated context, tools, and executable constraints that encode an organization’s nonfunctional requirements and cumulative lessons.
A 28.9 million parameter language model runs on an $8 ESP32-S3 microcontroller entirely on-device, generating simple stories at about 9.5 tokens per second.
mimic captures traffic from any iOS or web app and automatically generates a Python client library that lets you call the app's API like a regular library.