pgx
PGX — Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime. 🐘
翻译准备中
尚未检测到更新。GitHub 发布版本后会显示在这里。
个人 GitHub 账号下公开仓库的所有者可以登录并验证所有权,自行管理介绍,无需管理员批准。
登录并生成验证文件,在 30 分钟内将其提交到此仓库的默认分支。其他分支或分叉仓库中的文件无效。然后在下方检查文件,即可无需管理员批准直接管理项目。请保留文件以维持管理权限。
如需登录,将前往登录页面。登录后请回到此处,再次点击所选的验证按钮。
在项目文件夹中运行 /nomorevibe verify,即可验证所有权并自行管理介绍。
一分钟完成验证正在加载完整 README。 以下为已保存的摘录。
Simulation Framework hosting codebase for a Leapfrog Algorithm-based Python integrator to numerically simulate the orbital evolution of any characterized 3 body (Star-Planet-Moon) system, analyzed and orbitally animated via a Dash Plotly UI. Supports automated parameterization from the NASA Exoplanet Archive and tools accessible to Claude (LLM), via an MCP Server.
The MCP server provides tool endpoints to Claude (or another LLM agent) for:
fetch_exoplanet: Lookup and import system properties from the NASA Exoplanet Archive by planet name.查看完整 README ↗Simulation Framework hosting codebase for a Leapfrog Algorithm-based Python integrator to numerically simulate the orbital evolution of any characterized 3 body (Star-Planet-Moon) system, analyzed and orbitally animated via a Dash Plotly UI. Supports automated parameterization from the NASA Exoplanet Archive and tools accessible to Claude (LLM), via an MCP Server.
The MCP server provides tool endpoints to Claude (or another LLM agent) for:
fetch_exoplanet: Lookup and import system properties from the NASA Exoplanet Archive by planet name.
run_sim & run_sim_years: Run a simulation for the specified or default duration; outputs a Plotly HTML animation.
check_moon_stability, assess_stability, assess_moon_stability, moon_escape_info: Analyze moon orbital stability, estimate escape times, and summarize system evolution.
dash_url: Generate a browser-accessible Dash UI session for real-time visualization and manual parameter tweaking.
| Parameter | Description | Units |
|---|---|---|
| Ts | Star effective temperature | Kelvin (K) |
| rs_solar | Star radius | Solar radii (R☉) |
| ms_solar | Star mass | Solar masses (M☉) |
| mp_earth | Planet mass | Earth masses (M⊕) |
| dp_cgs | Planet mean density | g/cm³ |
| ap_AU | Planet semi-major axis | Astronomical Units (AU) |
| ep | Planet eccentricity | Dimensionless |
| mm_earth | Moon mass | Earth masses (M⊕) |
| am_hill | Moon orbit as fraction of Hill radius | Dimensionless |
| em | Moon eccentricity | Dimensionless |
| moon_retrograde | Moon retrograde flag | Boolean |
| years | Simulation duration (optional) | Years |
Condition A: An exomoon orbit is stable if Planetary Hill Radius > Moon Semi Major Axis, where
$$ r_\mathrm{Hill} = a_p , (1-e_p) \left( \frac{M_p}{3 M_s} \right)^{1/3} $$
Condition B: An exomoon orbit is habitable if Habitable Zone (Inner Boundary) < Moon-Star Distance < Habitable Zone (Outer Boundary)
$$ a_\mathrm{inner} = \sqrt{\frac{L_*}{4 \pi F_\mathrm{inner}}} $$
$$ a_\mathrm{outer} = \sqrt{\frac{L_*}{4 \pi F_\mathrm{outer}}} $$
with,
$$ L_* = 4π R_² σ T_⁴ $$
For every object, the code integrates orbits using the velocity Verlet (leapfrog) scheme:
For each time step:
$$ \mathbf{x}_{i+1/2} = \mathbf{x}_i + \frac{1}{2} \mathbf{v}_i , \Delta t $$
$$ \mathbf{v}_{i+1} = \mathbf{v}i + \mathbf{a}{i+1/2} , \Delta t $$
$$ \mathbf{x}{i+1} = \mathbf{x}{i+1/2} + \frac{1}{2} \mathbf{v}_{i+1} , \Delta t $$
$$ \mathbf{a}{ij} = -\mu_j \frac{\mathbf{r}{ij}}{|\mathbf{r}_{ij}|^3} $$
for each interacting pair
With VSCode installed, run:
Setup the MCP Server Configuration
{
"mcpServers": {
"exomoon": {
"command": "C:\\Path\\to\\Python\\Installation",
"args": ["-m", "exomoon.mcp_server"],
"env": {
"PYTHONPATH": "\\Absolute\\Path\\to\\Parent\\Folder"
}
}
}
}
HTML/Plotly animation of the system’s evolution
Numerical summary of stability, escape times, and orbital diagnostics
Option to analyze or download output via Claude or from storage