factcircuit
FactCircuit는 불변 출처와 단계별 검증, 제한된 검색, 재현 가능한 평가를 제공하는 감사 가능한 주장·증거 검증 루프입니다
아직 감지된 업데이트가 없습니다. GitHub 릴리스가 나오면 여기에 보입니다.
개인 계정의 공개 저장소 소유자는 GitHub로 로그인해 운영자를 확인하고 소개를 직접 관리할 수 있습니다. 관리자 승인은 필요하지 않습니다.
로그인한 뒤 확인 파일을 만들어 이 저장소의 기본 브랜치에 30분 안에 커밋해 주세요. 다른 브랜치나 포크의 파일은 인정하지 않습니다. 파일을 올린 뒤 아래에서 확인하면 관리자 승인 없이 관리할 수 있습니다. 자격을 유지하려면 파일을 남겨 두세요.
로그인이 필요하면 로그인 화면으로 이동합니다. 로그인 후 이곳으로 돌아와 원하는 확인 버튼을 다시 눌러 주세요.
프로젝트 폴더에서 /nomorevibe verify를 실행하면 소유권을 확인하고 소개를 직접 관리할 수 있습니다.
1분 만에 확인하기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