MCP-Server

ScoreCompute

com.scorecompute/scorecompute
Daten & Analytik Wissenschaft & Engineering Öffentlich und erreichbar MCP 2025-11-25

Was dieses MCP kann

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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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}
Ausgabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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.
Eingabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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}
Ausgabeschema
{'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.
Nur Lesen Idempotent
Eingabeschema
{'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}}}
Hinzugefügt
get_network_job
1. October 2026 02:40
Hinzugefügt
submit_network_job
1. October 2026 02:40
Hinzugefügt
network_status
1. October 2026 02:40
Hinzugefügt
execute_composition
1. October 2026 02:40
Hinzugefügt
compose_capabilities
1. October 2026 02:40
Hinzugefügt
list_composition_capabilities
1. October 2026 02:40
Hinzugefügt
build_robust_plan
1. October 2026 02:40
Hinzugefügt
plan_mission
1. October 2026 02:40
Hinzugefügt
list_capabilities
1. October 2026 02:40
Hinzugefügt
triangulate_tracks
1. October 2026 02:40
Hinzugefügt
route_optimizer
1. October 2026 02:40
Hinzugefügt
simulate_plan
1. October 2026 02:40
Hinzugefügt
screen_wash_trading
1. October 2026 02:40
Hinzugefügt
analyze_chess_game
1. October 2026 02:40
Hinzugefügt
solve_equilibrium
1. October 2026 02:40
Hinzugefügt
check_shadow_track
1. October 2026 02:40
Hinzugefügt
analyze_kinematics
1. October 2026 02:40
Hinzugefügt
audit_statistics
1. October 2026 02:40
Hinzugefügt
check_ephemeris
1. October 2026 02:40
Hinzugefügt
verify_shadows
1. October 2026 02:40
Hinzugefügt
compute_orbit
1. October 2026 02:40
Hinzugefügt
optimize_tasks
1. October 2026 02:40
Hinzugefügt
simulate_pi
1. October 2026 02:40