Simulate & explore
Impulse responses for any shock the model declares, with parameter overrides for quick "what if" experiments that never touch the saved model.
Macroeconomic modeling, automated and verified
GenXEcon turns a plain-language scenario into a fully solved, verified DSGE model. A multi-agent team designs and writes the equations — then a symbolic compiler proves they actually solve, before you ever see a chart.
The LLM proposes, verified mathematics disposes. Nothing about a model's dynamics is templated or faked — every number traces back to an equation the model actually contains.
How a model gets made
Seven role-specialised agents collaborate on every model. Failures are fed back for self-repair with escalating detail — a model reaches you only after both the mathematics and the economics check out.
Designs the model from your description: variables, transmission channels, and testable sign predictions grounded in standard theory — "a positive productivity shock should raise output."
Writes it as a solvable equation system in Dynare-style timing, seeded from a verified reference model (RBC, New Keynesian, small-open-economy, oil-importing hybrid) that it extends rather than rewrites from scratch.
Parses the equations symbolically, solves the nonlinear steady state, log-linearizes, and solves the rational-expectations system via Klein's (2000) QZ method — checking Blanchard–Kahn determinacy along the way.
Solves the compiled model, computes impulse responses, and checks them against the theorist's sign predictions and textbook results — the Taylor principle, comovement, and more.
If a model can't be made to work, the app says so and suggests a rephrasing. It never falls back to a canned template.
The platform
Everything downstream of the solved model is computed exactly from that solution — not approximated, not simulated when an analytical answer exists.
Impulse responses for any shock the model declares, with parameter overrides for quick "what if" experiments that never touch the saved model.
Exact population moments — volatility, persistence, comovement with output — from the model's Lyapunov solution. No simulation noise.
Compare Taylor-rule coefficients by their exact implied volatility of inflation, output and the policy rate. Unstable and indeterminate rules are flagged, never silently accepted.
The standard Lucas (1987) / Otrok (2001) consumption-equivalent welfare cost of business-cycle volatility, built on exact population moments.
16 methods over any FRED, World Bank or custom series: HP, Baxter–King and Hamilton filters, robust regression, unit-root tests, VAR, structural VAR and cointegration.
Joint maximum likelihood over any set of parameters, or full Bayesian posteriors by Metropolis–Hastings — each reported with identification diagnostics.
Confront the model with reality three ways: business-cycle moments, impulse responses against an identified SVAR, and out-of-sample forecast accuracy with Diebold–Mariano tests.
Equations rendered as real mathematics, every chart with a written explanation, business-cycle properties, policy and welfare analysis — in-app or as a PDF.
Every model also ships as self-contained Python that solves itself and plots its own impulse responses — with no dependency on the running app.
Depth where it counts
Reduced-form econometrics on observed series, independent of any DSGE structure.
Estimate a model's own parameters against real observations — and find out whether the data can identify them at all.
Three comparisons, in increasing order of strictness — because matching moments is easy and forecasting is not.
Honest by design
Every result reports the assumption it rests on. A Cholesky ordering is required rather than defaulted. Sign restrictions are labelled as set identification. Estimates arrive with identification diagnostics, because an unidentified parameter still produces a confident-looking number that is really just the prior.
"Convergence diagnostics can reveal failure but never prove success."
MCMC estimation
"A mismatch means the model is wrong or the ordering is wrong — the comparison cannot distinguish them."
IRF matching
"Granger causality measures predictive precedence, not structural causation."
VAR analysis
The compiler reproduces analytical RBC and New Keynesian solutions to 1e-6. Estimators are tested by recovering parameters from data they generated themselves; the MCMC sampler is additionally checked against a closed-form Gaussian posterior.
The documentation lists what the platform cannot do — first-order solutions only, no risk-adjusted steady state, recursive SVARs being structurally incompatible with dense DSGE impact matrices — in plain language, up front.
Pricing
Every plan includes the full solver, the complete econometrics toolbox, and standalone Python export. Nothing about the mathematics is gated.
Free
For students, individuals and replication work.
$49/month
For applied economists shipping real analysis.
Custom
For central banks, faculties and research teams.
Academic and non-profit discounts available. Open-source under the MIT licence — self-host the whole platform at no cost, forever.
Questions
A dynamic stochastic general equilibrium model describes an entire economy as a system of equations derived from optimising households and firms, driven by random shocks. Solving one means finding how every variable responds over time to each shock — which requires computing a steady state, linearizing around it, and solving the resulting rational-expectations system.
No. The LLM proposes a model; a symbolic compiler then has to prove it solves — steady state, log-linearization, Blanchard–Kahn determinacy. If it doesn't compile, or its impulse responses contradict the theory it claimed, the model is sent back for repair. Nothing reaches you on the LLM's word alone.
Anything expressible as a system of equations in Dynare-style timing. Generation is seeded from five verified reference models — RBC, New Keynesian, New Keynesian with capital, small open economy, and an oil-importing hybrid — which the agents extend rather than rewrite.
For model generation, yes — an OpenAI key on the free plan, or use our managed generation on Professional. World Bank data needs no key at all. FRED needs a free key, and the app tells you exactly how to get one if it's missing.
The solver is verified against known analytical solutions to 1e-6, and the estimators are tested by recovering parameters from data they generated. More importantly, every result states the assumption it depends on — and the documentation lists what the platform cannot do, in plain language.
No. Every model exports as self-contained Python that solves itself and plots its own impulse responses, with no dependency on the running app. Models are stored as plain JSON. The platform is MIT licensed and can be self-hosted in full.
Often not — and the platform measures exactly that rather than hiding it. Structural models describe mechanisms; forecasting rewards capturing persistence. The forecast comparison runs the model against a VAR and a random walk and reports Diebold–Mariano tests of whether the difference is real.
Free to start, MIT licensed, and honest about what it can't do.