MCP Server
ScoreCompute
com.scorecompute/scorecompute
What this MCP does
Provides native computation for scientific analysis, statistics, orbital and kinematic calculations, optimization, simulations, route planning, and geometric tracking.
Capabilities
Tools
23
tools
analyze_chess_game
Compare supplied chess positions and played moves against Stockfish UCI: first-choice agreement and centipawn loss per position. Accept SAN or UCI moves. Returns a statistical profile, never a cheating verdict. The complete analysis has a 25-second deadline.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['positions'], 'properties': {'depth': {'type': 'integer', 'default': 12, 'maximum': 20, 'minimum': 4}, 'positions': {'type': 'array', 'items': {'type': 'object', 'required': ['fen', 'played'], 'properties': {'fen': {'type': 'string'}, 'played': {'type': 'string'}}}, 'maxItems': 40, 'minItems': 4}}}
analyze_kinematics
Convert observed angular speed into minimum transverse speed at candidate distances using v = angular speed times distance. Compare illustrative balloon, drone, aircraft and satellite limits and check a claimed speed-distance pair. Makes no claim about object origin.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['angular_speed_deg_per_s'], 'properties': {'distance_max_km': {'type': 'number', 'default': 400000, 'maximum': 400000, 'minimum': 0.002}, 'distance_min_km': {'type': 'number', 'default': 0.01, 'maximum': 400000, 'minimum': 0.001}, 'claimed_speed_kmh': {'type': 'number', 'maximum': 500000, 'minimum': 0.1}, 'claimed_distance_km': {'type': 'number', 'maximum': 400000, 'minimum': 0.001}, 'angular_speed_deg_per_s': {'type': 'number', 'maximum': 90, 'minimum': 0.0001}}}
audit_statistics
Apply necessary GRIM/GRIMMER arithmetic consistency checks to reported statistics for bounded integer observations. Examine rounded means and sample standard deviations. Passing the filters is not proof that a dataset exists; an inconsistency is not evidence of fraud.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['n', 'mean'], 'properties': {'n': {'type': 'integer', 'maximum': 200000, 'minimum': 2}, 'sd': {'type': 'number', 'minimum': 0}, 'mean': {'type': 'number'}, 'decimals': {'type': 'integer', 'default': 2, 'maximum': 6, 'minimum': 0}, 'max_value': {'type': 'integer', 'default': 5, 'maximum': 100, 'minimum': -100}, 'min_value': {'type': 'integer', 'default': 1, 'maximum': 100, 'minimum': -100}}}
build_robust_plan
Compare up to three task selections in native Rust using optimize_tasks and, when needed, simulate_plan. Select the highest-value examined candidate whose simultaneous 95% Monte Carlo lower bound meets the requested success target under independent uniform duration uncertainty. Use an exact bound instead of simulation when possible and reuse identical selections within this mission. Return inconclusive if none passes, or blocked for unsupported contracts. Streams actual native events via MCP progress; one composite MCP call, no arbitrary tool generation.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['items', 'budget', 'uncertainty'], 'properties': {'seed': {'type': 'integer', 'default': 42, 'maximum': 4294967295, 'minimum': 0}, 'items': {'type': 'array', 'items': {'type': 'object', 'required': ['name', 'duration', 'value'], 'properties': {'name': {'type': 'string', 'maxLength': 120, 'minLength': 1}, 'value': {'type': 'integer', 'maximum': 10000, 'minimum': 0}, 'duration': {'type': 'integer', 'maximum': 1440, 'minimum': 1}}, 'additionalProperties': False}, 'maxItems': 32, 'minItems': 1}, 'budget': {'type': 'integer', 'maximum': 1440, 'minimum': 1}, 'samples': {'type': 'integer', 'default': 10000, 'maximum': 20000, 'minimum': 100}, 'uncertainty': {'type': 'number', 'maximum': 0.5, 'minimum': 0}, 'allowed_tools': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z][a-z0-9_]*$', 'maxLength': 64, 'minLength': 1}, 'default': ['optimize_tasks', 'simulate_plan'], 'maxItems': 13}, 'duration_model': {'type': 'string', 'default': 'independent_uniform', 'maxLength': 64, 'minLength': 1}, 'max_candidates': {'type': 'integer', 'default': 3, 'maximum': 3, 'minimum': 1}, 'min_success_rate': {'type': 'number', 'default': 0.95, 'maximum': 0.999, 'minimum': 0.5}}, 'additionalProperties': False}
check_ephemeris
Check a claimed Sun or Moon position for a UTC date and location. Uses NOAA/Meeus approximations, topocentric lunar parallax, angular separation and lunar phase. The object parameter uses soleil (Sun) or lune (Moon). Returns compatible, contredit or intestable.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['date_utc', 'latitude', 'longitude', 'claimed_azimuth_deg', 'claimed_elevation_deg'], 'properties': {'object': {'enum': ['soleil', 'lune'], 'type': 'string', 'default': 'lune'}, 'date_utc': {'type': 'string', 'maxLength': 20, 'minLength': 20}, 'latitude': {'type': 'number', 'maximum': 89, 'minimum': -89}, 'longitude': {'type': 'number', 'maximum': 180, 'minimum': -180}, 'tolerance_deg': {'type': 'number', 'default': 2, 'maximum': 30, 'minimum': 0.2}, 'claimed_azimuth_deg': {'type': 'number', 'maximum': 360, 'minimum': 0}, 'claimed_elevation_deg': {'type': 'number', 'maximum': 90, 'minimum': -90}}}
check_shadow_track
Compare measured shadow azimuths over time with the expected solar ephemeris. Check slope, time-lapse speed, rotation direction and individual residuals. Inputs are measured minute/azimuth pairs, not video files. Returns compatible, contredit or intestable.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['date_utc', 'latitude', 'longitude', 'samples'], 'properties': {'samples': {'type': 'array', 'items': {'type': 'object', 'required': ['minutes', 'azimuth_deg'], 'properties': {'minutes': {'type': 'number', 'maximum': 1440, 'minimum': 0}, 'azimuth_deg': {'type': 'number', 'maximum': 360, 'minimum': 0}}}, 'maxItems': 120, 'minItems': 4}, 'date_utc': {'type': 'string', 'maxLength': 20, 'minLength': 20}, 'latitude': {'type': 'number', 'maximum': 89, 'minimum': -89}, 'longitude': {'type': 'number', 'maximum': 180, 'minimum': -180}, 'tolerance_deg': {'type': 'number', 'default': 5, 'maximum': 30, 'minimum': 0.5}}}
compose_capabilities
Let native Rust compose a dependency plan from goal contracts and declared available contracts. Enforce allowed tools, locality, step and search limits. Return the selected graph, examined alternatives, blockers, search completeness and any existing-tool execution binding. Structural cost counts registered graph steps; it is not measured runtime, financial cost or scientific quality. Available facts are declarations; actual arguments are validated at execution. No engines run during planning.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['goals', 'available'], 'properties': {'goals': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z0-9_.]+$', 'maxLength': 96, 'minLength': 1}, 'maxItems': 8, 'minItems': 1}, 'inputs': {'type': 'object', 'propertyNames': {'type': 'string', 'pattern': '^[a-z][a-z0-9_]*$', 'maxLength': 64, 'minLength': 1}, 'additionalProperties': {'type': 'object', 'propertyNames': {'type': 'string'}, 'additionalProperties': {}}}, 'adapters': {'type': 'object', 'properties': {'route_durations.v1': {'type': 'object', 'required': ['speed_kmh'], 'properties': {'speed_kmh': {'type': 'number', 'maximum': 150, 'minimum': 1}}, 'additionalProperties': False}}, 'additionalProperties': False}, 'available': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z0-9_.]+$', 'maxLength': 96, 'minLength': 1}, 'maxItems': 48}, 'constraints': {'type': 'object', 'properties': {'max_steps': {'type': 'integer', 'default': 8, 'maximum': 16, 'minimum': 1}, 'local_only': {'type': 'boolean', 'default': True}, 'allowed_tools': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z][a-z0-9_]*$', 'maxLength': 64, 'minLength': 1}, 'maxItems': 14}, 'max_search_states': {'type': 'integer', 'default': 512, 'maximum': 2048, 'minimum': 1}, 'max_structural_cost': {'type': 'integer', 'default': 64, 'maximum': 64, 'minimum': 1}}, 'additionalProperties': False}}, 'additionalProperties': False}
compute_orbit
Compute an ideal elliptical orbit around one solar mass. Time is measured from periapsis and distances are in astronomical units. This two-body model is not a real celestial ephemeris.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['semi_major_au', 'eccentricity', 'elapsed_days'], 'properties': {'eccentricity': {'type': 'number', 'maximum': 0.9, 'minimum': 0}, 'elapsed_days': {'type': 'number', 'maximum': 365250, 'minimum': 0}, 'semi_major_au': {'type': 'number', 'maximum': 30, 'minimum': 0.1}}}
execute_composition
Recompile and execute an approved optimize_tasks â selected_durations.v1 â simulate_plan or route_optimizer â route_durations.v1 â simulate_plan path in Rust. Supply the engine arguments plus simulate_plan configuration (budget, uncertainty, samples, seed; omit durations). The route path also requires adapters["route_durations.v1"].speed_kmh from 1 to 150, explicit independent-uniform assumptions and 1â32 nonzero route legs. Whole-minute durations use ceil(distance_km / speed_kmh * 60). Shared 1â1440 minute budget, each duration 1â1440 minutes, 100â20000 fixed samples. Geometric distance and a declared speed are not road or traffic predictions. Return the engine result, a model-conditional risk assessment, a 95% Hoeffding sampling interval and real native events. Completed means the assessment ran, not that the deadline is safe. Other graph paths must use their advertised existing tool or remain planning-only.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['goals', 'available'], 'properties': {'goals': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z0-9_.]+$', 'maxLength': 96, 'minLength': 1}, 'maxItems': 8, 'minItems': 1}, 'inputs': {'type': 'object', 'propertyNames': {'type': 'string', 'pattern': '^[a-z][a-z0-9_]*$', 'maxLength': 64, 'minLength': 1}, 'additionalProperties': {'type': 'object', 'propertyNames': {'type': 'string'}, 'additionalProperties': {}}}, 'adapters': {'type': 'object', 'properties': {'route_durations.v1': {'type': 'object', 'required': ['speed_kmh'], 'properties': {'speed_kmh': {'type': 'number', 'maximum': 150, 'minimum': 1}}, 'additionalProperties': False}}, 'additionalProperties': False}, 'available': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z0-9_.]+$', 'maxLength': 96, 'minLength': 1}, 'maxItems': 48}, 'constraints': {'type': 'object', 'properties': {'max_steps': {'type': 'integer', 'default': 8, 'maximum': 16, 'minimum': 1}, 'local_only': {'type': 'boolean', 'default': True}, 'allowed_tools': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z][a-z0-9_]*$', 'maxLength': 64, 'minLength': 1}, 'maxItems': 14}, 'max_search_states': {'type': 'integer', 'default': 512, 'maximum': 2048, 'minimum': 1}, 'max_structural_cost': {'type': 'integer', 'default': 64, 'maximum': 64, 'minimum': 1}}, 'additionalProperties': False}}, 'additionalProperties': False}
get_network_job
Read one contributor job ticket and its verified progress or final pi_chunk_v1 receipt. Only completed jobs contain a final estimate. Counts aggregate each verified shard once, with expired leases rejected. The publicly visible job contains only synthetic sampling parameters, never private user data.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['job_id'], 'properties': {'job_id': {'type': 'string', 'format': 'uuid', 'pattern': '^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$'}}, 'additionalProperties': False}
list_capabilities
Inspect the thirteen native composition-bank tool contracts (triangulate_tracks is independently callable but not yet in this bank), themes, units, assumptions, execution backends and composition readiness. Optional exact theme filter. The scheduling family compares task selections; approved selection_risk and route_risk chains use explicit adapters and simulate_plan. All tools remain independently callable.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'properties': {'theme': {'type': 'string', 'maxLength': 64, 'minLength': 1}}, 'additionalProperties': False}
list_composition_capabilities
Read the trusted native bank of versioned semantic contracts, engine capabilities, explicit adapters, composite capabilities and reproducible planning examples. Each individual MCP engine remains independently callable. This catalogue contains implemented capabilities only; unsupported model/unit facts explain missing adapters. No computation is executed.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'properties': {}, 'additionalProperties': False}
network_status
Read the live contributor pilot: available and busy GPUs, explicitly offered CPU threads, stale workers and observed verified pi_chunk_v1 throughput. Hardware is reported, not attested. VRAM is separate per GPU, not a shared memory pool. This does not add the legacy worker inventory a second time.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'properties': {}, 'additionalProperties': False}
optimize_tasks
Select independent tasks exactly to maximize their total value within an integer-minute time budget. Each task can be selected once; at most 32 tasks.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['budget', 'items'], 'properties': {'items': {'type': 'array', 'items': {'type': 'object', 'required': ['name', 'duration', 'value'], 'properties': {'name': {'type': 'string', 'maxLength': 120, 'minLength': 1}, 'value': {'type': 'integer', 'maximum': 10000, 'minimum': 0}, 'duration': {'type': 'integer', 'maximum': 1440, 'minimum': 1}}}, 'maxItems': 32, 'minItems': 1}, 'budget': {'type': 'integer', 'maximum': 1440, 'minimum': 1}}}
plan_mission
Preview a bounded robust scheduling mission without executing engines. Validate explicit duration assumptions and local tool permissions, then return up to three candidate budgets (nominal, 10% reserve, 20% reserve), bounds on engine calls and samples, or explicit blockers. Does not generate arbitrary tools or execute external code.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['items', 'budget', 'uncertainty'], 'properties': {'seed': {'type': 'integer', 'default': 42, 'maximum': 4294967295, 'minimum': 0}, 'items': {'type': 'array', 'items': {'type': 'object', 'required': ['name', 'duration', 'value'], 'properties': {'name': {'type': 'string', 'maxLength': 120, 'minLength': 1}, 'value': {'type': 'integer', 'maximum': 10000, 'minimum': 0}, 'duration': {'type': 'integer', 'maximum': 1440, 'minimum': 1}}, 'additionalProperties': False}, 'maxItems': 32, 'minItems': 1}, 'budget': {'type': 'integer', 'maximum': 1440, 'minimum': 1}, 'samples': {'type': 'integer', 'default': 10000, 'maximum': 20000, 'minimum': 100}, 'uncertainty': {'type': 'number', 'maximum': 0.5, 'minimum': 0}, 'allowed_tools': {'type': 'array', 'items': {'type': 'string', 'pattern': '^[a-z][a-z0-9_]*$', 'maxLength': 64, 'minLength': 1}, 'default': ['optimize_tasks', 'simulate_plan'], 'maxItems': 13}, 'duration_model': {'type': 'string', 'default': 'independent_uniform', 'maxLength': 64, 'minLength': 1}, 'max_candidates': {'type': 'integer', 'default': 3, 'maximum': 3, 'minimum': 1}, 'min_success_rate': {'type': 'number', 'default': 0.95, 'maximum': 0.999, 'minimum': 0.5}}, 'additionalProperties': False}
route_optimizer
Order 2â256 supplied points from fixed start index 0, with an optional return. Explicit planar kilometres or great-circle kilometres on a 6371.0088 km sphere. CPU HeldâKarp certifies the numerical optimum only after complete search for at most 13 points; larger instances use bounded nearest-neighbour and 2-opt heuristics. Returns every leg, exact flag, stopping reason, measured time and work. Geometric distances only: no roads, traffic or travel-time forecasts. Callable independently of the orchestrator.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['metric', 'points'], 'properties': {'metric': {'enum': ['euclidean_km', 'great_circle_km'], 'type': 'string'}, 'points': {'type': 'array', 'items': {'anyOf': [{'type': 'object', 'required': ['x', 'y'], 'properties': {'x': {'type': 'number', 'maximum': 1000000, 'minimum': -1000000}, 'y': {'type': 'number', 'maximum': 1000000, 'minimum': -1000000}}, 'additionalProperties': False}, {'type': 'object', 'required': ['lat', 'lon'], 'properties': {'lat': {'type': 'number', 'maximum': 90, 'minimum': -90}, 'lon': {'type': 'number', 'maximum': 180, 'minimum': -180}}, 'additionalProperties': False}]}, 'maxItems': 256, 'minItems': 2}, 'time_budget_ms': {'type': 'integer', 'default': 1000, 'maximum': 10000, 'minimum': 100}, 'return_to_start': {'type': 'boolean', 'default': True}}, 'additionalProperties': False}
Output schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['contract_version', 'metric', 'unit', 'points', 'return_to_start', 'order', 'tour_legs', 'total_distance_km', 'upper_bound_km', 'exact', 'method', 'stop_reason', 'greedy_reference_km', 'improvement_vs_greedy_pct', 'work_units', 'work_limit', 'elapsed_ms', 'limitations', 'provenance'], 'properties': {'unit': {'type': 'string', 'const': 'km'}, 'exact': {'type': 'boolean'}, 'order': {'type': 'array', 'items': {'type': 'integer', 'maximum': 255, 'minimum': 0}, 'maxItems': 256, 'minItems': 2}, 'method': {'enum': ['held_karp_exact', 'nearest_neighbor_2opt', 'nearest_neighbor'], 'type': 'string'}, 'metric': {'enum': ['euclidean_km', 'great_circle_km'], 'type': 'string'}, 'points': {'type': 'integer', 'maximum': 256, 'minimum': 2}, 'tour_legs': {'type': 'array', 'items': {'type': 'object', 'required': ['from_index', 'to_index', 'distance_km'], 'properties': {'to_index': {'type': 'integer', 'maximum': 255, 'minimum': 0}, 'from_index': {'type': 'integer', 'maximum': 255, 'minimum': 0}, 'distance_km': {'type': 'number', 'minimum': 0}}, 'additionalProperties': False}, 'maxItems': 256, 'minItems': 1}, 'elapsed_ms': {'type': 'number', 'minimum': 0}, 'provenance': {'type': 'object', 'required': ['tool', 'server', 'client', 'identity_source', 'model'], 'properties': {'tool': {'type': 'string', 'const': 'route_optimizer'}, 'model': {'type': 'null'}, 'client': {'type': 'object', 'required': ['name', 'version'], 'properties': {'name': {'type': 'string'}, 'version': {'type': 'string'}}, 'additionalProperties': {}}, 'server': {'type': 'string', 'const': 'scorecompute'}, 'identity_source': {'type': 'string'}}, 'additionalProperties': False}, 'work_limit': {'type': 'integer', 'maximum': 9007199254740991, 'exclusiveMinimum': 0}, 'work_units': {'type': 'integer', 'maximum': 9007199254740991, 'minimum': 0}, 'limitations': {'type': 'array', 'items': {'type': 'string'}}, 'stop_reason': {'enum': ['exact_search_completed', 'heuristic_converged', 'time_budget_exhausted', 'work_limit_exhausted'], 'type': 'string'}, 'upper_bound_km': {'type': 'number', 'minimum': 0}, 'return_to_start': {'type': 'boolean'}, 'contract_version': {'type': 'string', 'const': '0.1.0'}, 'total_distance_km': {'type': 'number', 'minimum': 0}, 'greedy_reference_km': {'anyOf': [{'type': 'number', 'minimum': 0}, {'type': 'null'}]}, 'improvement_vs_greedy_pct': {'type': ['number', 'null']}}, 'additionalProperties': False}
screen_wash_trading
Screen a supplied trade series for repeated volume at nearly identical prices within a bounded time window. Report recycled-volume ratio and cycle count. This is a pattern to examine, not proof of wash trading or an accusation.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['trades'], 'properties': {'trades': {'type': 'array', 'items': {'type': 'object', 'required': ['ts_s', 'price', 'volume'], 'properties': {'ts_s': {'type': 'number', 'minimum': 0}, 'price': {'type': 'number', 'minimum': 0}, 'volume': {'type': 'number', 'minimum': 0}}}, 'maxItems': 5000, 'minItems': 20}, 'window_s': {'type': 'number', 'default': 3600, 'maximum': 86400, 'minimum': 60}, 'price_band_pct': {'type': 'number', 'default': 0.25, 'maximum': 5, 'minimum': 0.01}}}
simulate_pi
Estimate pi with reproducible Monte Carlo sampling and a 95% Wilson interval. Select CPU or CUDA; at most 5 million points. CUDA acceleration is available for this tool only.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['samples', 'seed'], 'properties': {'seed': {'type': 'integer', 'maximum': 4294967295, 'minimum': 0}, 'backend': {'enum': ['cpu', 'cuda'], 'type': 'string', 'default': 'cpu'}, 'samples': {'type': 'integer', 'maximum': 5000000, 'minimum': 100}, 'device_ids': {'type': 'array', 'items': {'type': 'integer', 'maximum': 9007199254740991, 'minimum': 0}, 'maxItems': 16}}}
simulate_plan
Test a task plan, including one produced by optimize_tasks, using independent bounded uniform duration variations. Return the probability of meeting the budget, mean duration and empirical 95th percentile. This illustrative uncertainty model is not a forecast guarantee.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['durations', 'budget', 'samples', 'seed', 'uncertainty'], 'properties': {'seed': {'type': 'integer', 'maximum': 4294967295, 'minimum': 0}, 'budget': {'type': 'integer', 'maximum': 1440, 'minimum': 1}, 'samples': {'type': 'integer', 'maximum': 100000, 'minimum': 100}, 'durations': {'type': 'array', 'items': {'type': 'integer', 'maximum': 1440, 'minimum': 1}, 'maxItems': 32, 'minItems': 1}, 'uncertainty': {'type': 'number', 'maximum': 0.5, 'minimum': 0}}}
solve_equilibrium
Solve Kuhn poker with CFR+ self-play and measure exploitability using pure best responses. Compare the game value against the analytical reference -1/18. An illustrative game-theory solver, not gambling advice.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'properties': {'iterations': {'type': 'integer', 'default': 200000, 'maximum': 5000000, 'minimum': 1000}}}
submit_network_job
Queue a public synthetic Monte Carlo pi_chunk_v1 job on consenting contributor clients. This is the fixed 31-bit integer model, distinct from simulate_pi. No files or private datasets are accepted. Returns a ticket: queued is not completed. Poll get_network_job for the result. Every accepted shard is recomputed on coordinator CPU for verification; no net acceleration claim. Workers may be unavailable and jobs may expire.
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['samples'], 'properties': {'seed': {'type': 'integer', 'default': 42, 'maximum': 4294967295, 'minimum': 0}, 'backend': {'enum': ['auto', 'cpu', 'cuda'], 'type': 'string', 'default': 'auto'}, 'samples': {'type': 'integer', 'maximum': 5000000, 'minimum': 100}}, 'additionalProperties': False}
triangulate_tracks
Estimate a single moving objectâs 3D position and velocity from geometric azimuth/elevation tracks supplied by 2â4 stationary observers. Bounded Rust CPU weighted least squares assumes constant velocity in a spherical Earth-fixed frame (R=6371.0088 km), declared angular standard deviations and supplied fixed clock offsets. Returns estimated, inconsistent, degenerate or no_convergence, component standard deviations, trajectory and observer residuals. No refraction correction or automatic image analysis; a reduced chi-square cutoff of 9 is a screening convention. Local uncertainties are conditional on the model, not calibrated real-world accuracy. Does not identify the object or its origin. Independently callable; not yet registered in the native composition bank.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['observers'], 'properties': {'observers': {'type': 'array', 'items': {'type': 'object', 'required': ['lat', 'lon', 'sigma_az_deg', 'sigma_el_deg', 'samples'], 'properties': {'lat': {'type': 'number', 'maximum': 89, 'minimum': -89}, 'lon': {'type': 'number', 'maximum': 180, 'minimum': -180}, 'samples': {'type': 'array', 'items': {'type': 'object', 'required': ['t_s', 'azimuth_deg', 'elevation_deg'], 'properties': {'t_s': {'type': 'number', 'maximum': 1000000000000, 'minimum': -1000000000000, 'description': 'Seconds from a common epoch, strictly increasing for this observer.'}, 'azimuth_deg': {'type': 'number', 'maximum': 360, 'minimum': 0}, 'elevation_deg': {'type': 'number', 'maximum': 90, 'minimum': -2}}, 'additionalProperties': False}, 'maxItems': 120, 'minItems': 3}, 'elevation_m': {'type': 'number', 'default': 0, 'maximum': 9000, 'minimum': -500}, 'sigma_az_deg': {'type': 'number', 'maximum': 10, 'minimum': 0.01}, 'sigma_el_deg': {'type': 'number', 'maximum': 10, 'minimum': 0.01}, 'clock_offset_s': {'type': 'number', 'default': 0, 'maximum': 60, 'minimum': -60, 'description': 'The observer clock is ahead of the common base by this many seconds; the engine subtracts it.'}}, 'additionalProperties': False}, 'maxItems': 4, 'minItems': 2}}, 'additionalProperties': False}
Output schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['contract_version', 'status', 'reasons', 'observers', 'baseline_km', 'grid', 'state', 'trajectory', 'residuals', 'diagnostics', 'elapsed_ms', 'limitations', 'provenance'], 'properties': {'grid': {'type': 'object', 'required': ['points', 'start_s', 'end_s', 'step_s', 'interpolated_samples'], 'properties': {'end_s': {'type': 'number'}, 'points': {'type': 'integer', 'maximum': 60, 'minimum': 2}, 'step_s': {'type': 'number', 'exclusiveMinimum': 0}, 'start_s': {'type': 'number'}, 'interpolated_samples': {'type': 'integer', 'maximum': 9007199254740991, 'minimum': 0}}, 'additionalProperties': False}, 'state': {'anyOf': [{'type': 'object', 'required': ['t_ref_s', 'frame', 'position_ecef_km', 'velocity_km_s', 'position_sigma_km', 'velocity_sigma_km_s', 'covariance_ecef', 'covariance_parameter_units', 'uncertainty_model', 'speed_kmh', 'heading_deg', 'vertical_rate_m_s', 'reduced_chi2'], 'properties': {'frame': {'type': 'string'}, 't_ref_s': {'type': 'number'}, 'speed_kmh': {'type': 'number', 'minimum': 0}, 'heading_deg': {'type': 'number', 'maximum': 360, 'minimum': 0}, 'reduced_chi2': {'type': 'number', 'minimum': 0}, 'velocity_km_s': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}, {'type': 'number'}], 'maxItems': 3, 'minItems': 3, 'additionalItems': False}, 'covariance_ecef': {'type': 'array', 'items': {'type': 'array', 'items': {'type': 'number'}, 'maxItems': 6, 'minItems': 6}, 'maxItems': 6, 'minItems': 6}, 'position_ecef_km': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}, {'type': 'number'}], 'maxItems': 3, 'minItems': 3, 'additionalItems': False}, 'position_sigma_km': {'type': 'array', 'items': [{'type': 'number', 'minimum': 0}, {'type': 'number', 'minimum': 0}, {'type': 'number', 'minimum': 0}], 'maxItems': 3, 'minItems': 3, 'additionalItems': False}, 'uncertainty_model': {'type': 'string'}, 'vertical_rate_m_s': {'type': 'number'}, 'velocity_sigma_km_s': {'type': 'array', 'items': [{'type': 'number', 'minimum': 0}, {'type': 'number', 'minimum': 0}, {'type': 'number', 'minimum': 0}], 'maxItems': 3, 'minItems': 3, 'additionalItems': False}, 'covariance_parameter_units': {'type': 'array', 'items': [{'type': 'string', 'const': 'km'}, {'type': 'string', 'const': 'km'}, {'type': 'string', 'const': 'km'}, {'type': 'string', 'const': 'km/s'}, {'type': 'string', 'const': 'km/s'}, {'type': 'string', 'const': 'km/s'}], 'maxItems': 6, 'minItems': 6, 'additionalItems': False}}, 'additionalProperties': False}, {'type': 'null'}]}, 'status': {'enum': ['estimated', 'inconsistent', 'degenerate', 'no_convergence'], 'type': 'string'}, 'reasons': {'type': 'array', 'items': {'type': 'string'}}, 'observers': {'type': 'integer', 'maximum': 4, 'minimum': 2}, 'residuals': {'anyOf': [{'type': 'object', 'required': ['total_rms_deg', 'max_deg', 'per_observer'], 'properties': {'max_deg': {'type': 'number', 'minimum': 0}, 'per_observer': {'type': 'array', 'items': {'type': 'object', 'required': ['index', 'rms_deg', 'max_deg'], 'properties': {'index': {'type': 'integer', 'maximum': 3, 'minimum': 0}, 'max_deg': {'type': 'number', 'minimum': 0}, 'rms_deg': {'type': 'number', 'minimum': 0}}, 'additionalProperties': False}, 'maxItems': 4, 'minItems': 2}, 'total_rms_deg': {'type': 'number', 'minimum': 0}}, 'additionalProperties': False}, {'type': 'null'}]}, 'elapsed_ms': {'type': 'number', 'minimum': 0}, 'provenance': {'type': 'object', 'required': ['tool', 'server', 'client', 'identity_source', 'model'], 'properties': {'tool': {'type': 'string', 'const': 'triangulate_tracks'}, 'model': {'type': 'null'}, 'client': {'type': 'object', 'required': ['name', 'version'], 'properties': {'name': {'type': 'string'}, 'version': {'type': 'string'}}, 'additionalProperties': {}}, 'server': {'type': 'string', 'const': 'scorecompute'}, 'identity_source': {'type': 'string'}}, 'additionalProperties': False}, 'trajectory': {'type': 'array', 'items': {'type': 'object', 'required': ['t_s', 'latitude_deg', 'longitude_deg', 'altitude_m', 'ranges_km'], 'properties': {'t_s': {'type': 'number'}, 'ranges_km': {'type': 'array', 'items': {'type': 'number', 'minimum': 0}, 'maxItems': 4, 'minItems': 2}, 'altitude_m': {'type': 'number'}, 'latitude_deg': {'type': 'number', 'maximum': 90, 'minimum': -90}, 'longitude_deg': {'type': 'number', 'maximum': 180, 'minimum': -180}}, 'additionalProperties': False}, 'maxItems': 60}, 'baseline_km': {'type': 'number', 'minimum': 0}, 'diagnostics': {'type': 'object', 'required': ['dof', 'iterations', 'cost_evaluations', 'low_elevation_samples', 'condition_ratio'], 'properties': {'dof': {'type': 'integer', 'maximum': 9007199254740991, 'minimum': -9007199254740991}, 'iterations': {'type': 'integer', 'maximum': 80, 'minimum': 0}, 'condition_ratio': {'type': ['number', 'null']}, 'cost_evaluations': {'type': 'integer', 'maximum': 9007199254740991, 'minimum': 0}, 'low_elevation_samples': {'type': 'integer', 'maximum': 9007199254740991, 'minimum': 0}}, 'additionalProperties': False}, 'limitations': {'type': 'array', 'items': {'type': 'string'}}, 'contract_version': {'type': 'string', 'const': '0.2.0'}}, 'additionalProperties': False}
verify_shadows
Check solar-shadow consistency from supplied image measurements: NOAA solar position, ground-plane homography from 4 to 16 control points, and Monte Carlo uncertainty. Returns compatible, contredit or intestable under the stated assumptions; never an image-authenticity verdict.
Read only
Idempotent
Input schema
{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['date_utc', 'latitude', 'longitude', 'control_points', 'shadow'], 'properties': {'seed': {'type': 'integer', 'default': 7, 'maximum': 4294967295, 'minimum': 0}, 'shadow': {'type': 'object', 'required': ['a', 'b'], 'properties': {'a': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}], 'maxItems': 2, 'minItems': 2, 'additionalItems': False}, 'b': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}], 'maxItems': 2, 'minItems': 2, 'additionalItems': False}}}, 'samples': {'type': 'integer', 'default': 2000, 'maximum': 20000, 'minimum': 100}, 'date_utc': {'type': 'string', 'maxLength': 20, 'minLength': 20}, 'latitude': {'type': 'number', 'maximum': 89, 'minimum': -89}, 'longitude': {'type': 'number', 'maximum': 180, 'minimum': -180}, 'pixel_sigma': {'type': 'number', 'default': 3, 'maximum': 50, 'minimum': 0}, 'second_shadow': {'type': 'object', 'required': ['a', 'b'], 'properties': {'a': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}], 'maxItems': 2, 'minItems': 2, 'additionalItems': False}, 'b': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}], 'maxItems': 2, 'minItems': 2, 'additionalItems': False}}}, 'control_points': {'type': 'array', 'items': {'type': 'object', 'required': ['px', 'world'], 'properties': {'px': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}], 'maxItems': 2, 'minItems': 2, 'additionalItems': False}, 'world': {'type': 'array', 'items': [{'type': 'number'}, {'type': 'number'}], 'maxItems': 2, 'minItems': 2, 'additionalItems': False}}}, 'maxItems': 16, 'minItems': 4}, 'time_sigma_minutes': {'type': 'number', 'default': 1, 'maximum': 240, 'minimum': 0}}}
History
Recent tool changes
Added
get_network_job
Oct. 1, 2026, 2:40 a.m.
Added
submit_network_job
Oct. 1, 2026, 2:40 a.m.
Added
network_status
Oct. 1, 2026, 2:40 a.m.
Added
execute_composition
Oct. 1, 2026, 2:40 a.m.
Added
compose_capabilities
Oct. 1, 2026, 2:40 a.m.
Added
list_composition_capabilities
Oct. 1, 2026, 2:40 a.m.
Added
build_robust_plan
Oct. 1, 2026, 2:40 a.m.
Added
plan_mission
Oct. 1, 2026, 2:40 a.m.
Added
list_capabilities
Oct. 1, 2026, 2:40 a.m.
Added
triangulate_tracks
Oct. 1, 2026, 2:40 a.m.
Added
route_optimizer
Oct. 1, 2026, 2:40 a.m.
Added
simulate_plan
Oct. 1, 2026, 2:40 a.m.
Added
screen_wash_trading
Oct. 1, 2026, 2:40 a.m.
Added
analyze_chess_game
Oct. 1, 2026, 2:40 a.m.
Added
solve_equilibrium
Oct. 1, 2026, 2:40 a.m.
Added
check_shadow_track
Oct. 1, 2026, 2:40 a.m.
Added
analyze_kinematics
Oct. 1, 2026, 2:40 a.m.
Added
audit_statistics
Oct. 1, 2026, 2:40 a.m.
Added
check_ephemeris
Oct. 1, 2026, 2:40 a.m.
Added
verify_shadows
Oct. 1, 2026, 2:40 a.m.
Added
compute_orbit
Oct. 1, 2026, 2:40 a.m.
Added
optimize_tasks
Oct. 1, 2026, 2:40 a.m.
Added
simulate_pi
Oct. 1, 2026, 2:40 a.m.
Discover
Similar MCP servers
Clink Forge
com.clinkforge/clink-forge
Provides pay-per-call access to attested government datasets, primarily CDC and HHS health data plus EPA air-quality observations.
osint
build.exascale/osint
Provides source-cited US data and schemas for power systems, AI infrastructure, semiconductor production and trade, robotics, and…
whatif
xyz.pflow.sim/whatif
Builds, validates, calibrates, compares, and simulates Petri-net process models using event logs, scenarios, invariants, and diag…
Us Iso Grid
io.github.pipeworx-io/us-iso-grid
Provides real-time and recent electricity grid data for CAISO, ERCOT, and NYISO, including demand, forecasts, fuel mix, emissions…
AOI — Environmental Intelligence for AI Agents
io.github.aminshojaeee1986-ui/aoi
Provides paid, quote-based environmental intelligence assessments covering climate risk, emissions, biodiversity, air quality, ha…
Pharma Intel
io.github.pipeworx-io/pharma-intel
Combines clinical trial, FDA, PubMed, drug identification, safety, pipeline, sales, patent, and pharmaceutical sponsor data for d…
Data Gov Sg
io.github.pipeworx-io/data-gov-sg
Provides Singapore government datasets and environmental feeds, including air quality, dataset metadata, and routed structured re…
Nih Reporter
io.github.pipeworx-io/nih-reporter
Searches and analyzes NIH-funded research projects, awards, publications, funding trends, expirations, investigators, organizatio…