Servidor MCP

ScoreCompute

com.scorecompute/scorecompute
Datos y analítica Ciencia e ingeniería Público y accesible MCP 2025-11-25

Qué hace este MCP

Provides native computation for scientific analysis, statistics, orbital and kinematic calculations, optimization, simulations, route planning, and geometric tracking.

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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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}
Esquema de salida
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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.
Esquema de entrada
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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}
Esquema de salida
{'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.
Solo lectura Idempotente
Esquema de entrada
{'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}}}
Añadido
get_network_job
1 de October de 2026 a las 02:40
Añadido
submit_network_job
1 de October de 2026 a las 02:40
Añadido
network_status
1 de October de 2026 a las 02:40
Añadido
execute_composition
1 de October de 2026 a las 02:40
Añadido
compose_capabilities
1 de October de 2026 a las 02:40
Añadido
list_composition_capabilities
1 de October de 2026 a las 02:40
Añadido
build_robust_plan
1 de October de 2026 a las 02:40
Añadido
plan_mission
1 de October de 2026 a las 02:40
Añadido
list_capabilities
1 de October de 2026 a las 02:40
Añadido
triangulate_tracks
1 de October de 2026 a las 02:40
Añadido
route_optimizer
1 de October de 2026 a las 02:40
Añadido
simulate_plan
1 de October de 2026 a las 02:40
Añadido
screen_wash_trading
1 de October de 2026 a las 02:40
Añadido
analyze_chess_game
1 de October de 2026 a las 02:40
Añadido
solve_equilibrium
1 de October de 2026 a las 02:40
Añadido
check_shadow_track
1 de October de 2026 a las 02:40
Añadido
analyze_kinematics
1 de October de 2026 a las 02:40
Añadido
audit_statistics
1 de October de 2026 a las 02:40
Añadido
check_ephemeris
1 de October de 2026 a las 02:40
Añadido
verify_shadows
1 de October de 2026 a las 02:40
Añadido
compute_orbit
1 de October de 2026 a las 02:40
Añadido
optimize_tasks
1 de October de 2026 a las 02:40
Añadido
simulate_pi
1 de October de 2026 a las 02:40