Don’t just read
what a tool can do.
See it. Then try it.
Twenty-three interactive 3D exhibits.
Understand the method, change the inputs, and call the real MCP tool.
A little curiosity goes a long way.
23 demonstrations · interactive 3D, methods explained, assumptions included
MULTI-OBSERVER TRACKS / RUST CPU01triangulate_tracksWhere do the sightlines meet?
Combine timed angular observations from different locations to estimate a moving object’s 3D position and velocity, with residuals and explicit uncertainty limits.
Understand and try
MONTE CARLO / CPU + CUDA02simulate_piFind π in a cloud of points.
Turn a seeded cloud of random points into an estimate of π, with a convergence curve and sampling uncertainty you can inspect.
Understand and try
EXACT SELECTION / INTEGER MINUTES03optimize_tasksMake every minute count.
Give independent tasks a duration and a value. Rust selects the highest-value combination that fits the stated time budget.
Understand and try
SCHEDULE RISK / DECLARED UNCERTAINTY04simulate_planWhat happens when tasks run late?
Run a supplied plan through seeded duration variations and see how often it meets the deadline under that chosen model.
Understand and try
GEOMETRIC TOURS / RUST CPU05route_optimizerFind a shorter way around.
Connect supplied points into a complete tour, then inspect every leg, the search method and whether optimality was actually established.
Understand and try
KEPLER / TWO-BODY MODEL06compute_orbitFollow an ellipse through time.
Change the shape and elapsed time of an ideal orbit, then inspect its trajectory, position and orbital period.
Understand and try
SOLAR GEOMETRY / IMAGE MEASUREMENTS07verify_shadowsDoes the shadow fit the Sun?
Compare a measured shadow with a calculated solar direction after mapping image pixels onto a declared ground plane.
Understand and try
SUN + MOON / POSITION CONSISTENCY08check_ephemerisPut a sky claim in context.
Compare a claimed Sun or Moon position with an approximate ephemeris at a supplied place and UTC time.
Understand and try
GRIM + GRIMMER / INTEGER ARITHMETIC09audit_statisticsCan that rounded mean exist?
Ask whether a reported mean or standard deviation passes necessary arithmetic checks for bounded integer observations.
Understand and try
ANGULAR MOTION / EXPLICIT HYPOTHESES10analyze_kinematicsDistance changes the speed story.
Convert observed angular motion into transverse speed at chosen distances and inspect the consequences of a claimed speed-distance pair.
Understand and try
TEMPORAL CONSISTENCY / MEASURED TRACKS11check_shadow_trackRead time in a moving shadow.
Compare supplied shadow angles over time with expected solar motion, including individual residuals and the direction of rotation.
Understand and try
KUHN POKER / CFR+ SELF-PLAY12solve_equilibriumWatch a tiny game find balance.
Explore a three-card imperfect-information game with regret-based self-play, a strategy table and explicit exploitability measurements.
Understand and try
STOCKFISH / MOVE-QUALITY PROFILE13analyze_chess_gameCompare moves without accusing players.
Ask Stockfish to assess supplied positions and compare the played moves with its bounded-depth recommendations.
Understand and try
TRADE SERIES / DESCRIPTIVE SCREENING14screen_wash_tradingInspect a repeating market pattern.
Examine a synthetic series for repeated volume at nearly identical prices, with a declared time window and price band.
Understand and try
DISCOVERY / NATIVE TOOL LIBRARY15list_capabilitiesRead the engines’ contracts.
Inspect the thirteen registered composition-bank tool contracts, their themes, units, backends, assumptions and current readiness.
Understand and try
MISSION PREVIEW / NO ENGINE EXECUTION16plan_missionPreview the work before it runs.
Validate a robust-scheduling request and inspect its bounded candidate budgets, required tools and maximum work.
Understand and try
ROBUST SCHEDULING / THREE CANDIDATES17build_robust_planChoose value with room for uncertainty.
Compare a bounded family of task selections, preserving their values while checking whether a declared success target is supported.
Understand and try
CAPABILITY BANK / CONTRACTS + ADAPTERS18list_composition_capabilitiesExplore the bank of typed capabilities.
Read the implemented engines, two explicit duration adapters and one scheduling composite alongside their versioned input and output facts.
Understand and try
TYPED PLANNING / BOUNDED SEARCH19compose_capabilitiesLet Rust assemble an admissible path.
Start from available contracts and a desired result. Rust searches registered dependency paths while enforcing permissions and explicit limits.
Understand and try
NATIVE COMPOSITION / TWO ENGINES + ONE ADAPTER20execute_compositionA route becomes a checked risk study.
Execute an approved route-to-risk chain with checked identities, explicit units, caller-supplied speed and real native progress events.
Understand and try
CONTRIBUTOR POOL / LIVE OBSERVATION21network_statusSee the pool that is actually offered.
Read the contributor pilot’s fresh resource offers, busy GPUs and observed verified throughput without submitting a calculation.
Understand and try
PUBLIC JOB / FIXED INTEGER MONTE CARLO22submit_network_jobSend a small experiment to the pool.
Queue a synthetic π experiment, receive a real ticket and follow counts that the coordinator verifies before aggregation.
Understand and try
JOB PROGRESS / CHECKED RESULTS23get_network_jobFollow a real ticket to its receipt.
Supply a job_id returned by submit_network_job to inspect verified progress, completion or expiry for that public experiment.
Understand and try