此 MCP 可以做什么
Provides native computation for scientific analysis, statistics, orbital and kinematic calculations, optimization, simulations, route planning, and geometric tracking.
功能
工具
23
工具
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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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}
输出模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
只读
幂等
输入模式
{'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.
输入模式
{'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.
只读
幂等
输入模式
{'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}
输出模式
{'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.
只读
幂等
输入模式
{'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}}}
历史
近期工具变更
已添加
get_network_job
2026年10月1日 02:40
已添加
submit_network_job
2026年10月1日 02:40
已添加
network_status
2026年10月1日 02:40
已添加
execute_composition
2026年10月1日 02:40
已添加
compose_capabilities
2026年10月1日 02:40
已添加
list_composition_capabilities
2026年10月1日 02:40
已添加
build_robust_plan
2026年10月1日 02:40
已添加
plan_mission
2026年10月1日 02:40
已添加
list_capabilities
2026年10月1日 02:40
已添加
triangulate_tracks
2026年10月1日 02:40
已添加
route_optimizer
2026年10月1日 02:40
已添加
simulate_plan
2026年10月1日 02:40
已添加
screen_wash_trading
2026年10月1日 02:40
已添加
analyze_chess_game
2026年10月1日 02:40
已添加
solve_equilibrium
2026年10月1日 02:40
已添加
check_shadow_track
2026年10月1日 02:40
已添加
analyze_kinematics
2026年10月1日 02:40
已添加
audit_statistics
2026年10月1日 02:40
已添加
check_ephemeris
2026年10月1日 02:40
已添加
verify_shadows
2026年10月1日 02:40
已添加
compute_orbit
2026年10月1日 02:40
已添加
optimize_tasks
2026年10月1日 02:40
已添加
simulate_pi
2026年10月1日 02:40
发现
类似的 MCP 服务器
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…