1,216 tools
mc_reset_world
Wipe the server's world and provision a fresh empty one (a backup is taken first). Domain and settings are preserved. Irreversible. Prompts …
mc_console_logs
Fetch recent console log lines for a server. Pass `cursor` (from a previous call's nextCursor) to page further back.
mc_list_backups
List the backups (EBS snapshots) for a server, with state, size, reason and export status.
mc_create_backup
Take a new on-demand backup (snapshot) of a server's world. Billable; may return a 402 when the balance is too low.
mc_restore_backup
Restore a server's world from a backup snapshot, replacing the current world. Irreversible. Prompts the user to confirm.
mc_delete_backup
Delete a backup snapshot. Irreversible. Prompts the user to confirm.
mc_export_backup
Start exporting a backup snapshot to a downloadable ZIP. Poll mc_list_backups for exportState=ready, then call mc_backup_download_url.
mc_backup_download_url
Get a time-limited signed download URL for a backup that has finished exporting (exportState=ready).
mc_delete_backup_export
Delete the exported ZIP for a backup (the snapshot itself is kept).
mc_list_regions
List the regions available for hosting servers, with their awsRegion id, display name and enabled flag. Use an awsRegion value as the `regio…
mc_region_ping
Measure round-trip latency (in milliseconds) from the user's browser to a region's router. Lower is better; use it to recommend the fastest …
mc_pricing_catalog
Get the full pricing catalog: per-region, per-instance-type and per-plan-tier hourly/monthly prices. Use it to quote costs or pick a plan si…
mc_recommended_region
Get the server-recommended region id for the current user (geo/latency heuristic). A good default for `region` when creating a server.
mc_get_wallet
Get the signed-in user's wallet: current balance plus credited/debited totals. Useful to explain a 402 'insufficient balance' result from a …
mc_current_bill
Get the current month's running cost estimate and per-server breakdown (accrual-based, no CUR query).
mc_list_bills
List the user's past monthly bills with per-server line items.
read_editor
Read Sema source from the playground editor. Use this before editing or running unfamiliar code.
write_editor
Replace the playground editor contents with Sema source code.
format_editor
Format the current Sema source in the playground editor.
run_editor
Run the current Sema source and wait for evaluation to finish.
stop_run
Cancel the active worker-backed Sema evaluation when one is running.
read_output
Read the current playground output, including values, printed lines, errors, and timing.
find_examples
Find bundled Sema examples by filename, category, or identifier.
load_example
Load one bundled Sema example into the editor by identifier or filename.
list_files
List one directory in the playground virtual filesystem.
read_file
Read a UTF-8 text file from the playground virtual filesystem.
write_file
Create or replace a UTF-8 text file in the playground virtual filesystem.
set_breakpoints
Replace the debugger breakpoints with the requested one-based source lines.
start_debugging
Start debugging the current Sema source and wait for a pause, finish, or error.
continue_debugging
Continue the paused Sema debugger and wait for its next stable state.
step_debugger
Step the paused Sema debugger into, over, or out and wait for its next stable state.
stop_debugging
Stop the active Sema debugger and return the playground to its idle state.
get_debug_state
Read debugger status, active line, breakpoints, locals, and stack frames.
list_schedules
List all duty rosters (当番表) the user has. Returns each roster's name, member count, and group count; the currently displayed roster is marke…
get_current_assignments
Get who is currently on duty for the active duty roster: each task group paired with its assigned member, plus the current rotation step. Us…
get_schedule_details
Get the full setup of the active duty roster: member names, task groups, rotation mode (manual or date-based), and assignment mode. Use befo…
get_share_link
Get the public share URL of the active roster if it has already been shared. Does NOT create or publish a new link — sharing must be done by…
switch_schedule
Switch the active duty roster to the one with the given name. Use the exact roster name as shown by list_schedules.
advance_rotation
Move the active roster's rotation one step forward or backward. Only works for manually-rotated rosters; date-based rosters advance automati…
change_view
Switch how the active roster is displayed: cards, table, calendar, or disc.