DeveloperWebMCP verified
sema.run WebMCP tools
Try Sema in the browser — a Lisp with first-class LLM primitives. No install required, runs entirely in WebAssembly.
17 tools1 methodsspec API surface
What can an agent do with sema.run WebMCP tools?
Try Sema in the browser — a Lisp with first-class LLM primitives. No install required, runs entirely in WebAssembly. This page documents every listed tool, the action or answer it provides, its installation command, and the input fields an agent should send.
WebMCP tools on sema.run
read_editor
Read Sema source from the playground editor. Use this before editing or running unfamiliar code.
How to install
Open the sema.run website and ask your browser agent to use read_editorInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the read_editor tool on sema.run with offset: <integer>, limit: <integer>. Return the structured result and cite the source page.Input contract
offsetinteger Zero-based character offset at which to start reading.limitinteger Maximum number of characters to return.
write_editor
Replace the playground editor contents with Sema source code.
How to install
Open the sema.run website and ask your browser agent to use write_editorInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the write_editor tool on sema.run with code: <string>. Return the structured result and cite the source page.Input contract
codestring Complete Sema source to place in the editor.
format_editor
Format the current Sema source in the playground editor.
How to install
Open the sema.run website and ask your browser agent to use format_editorInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the format_editor tool on sema.run. Return the structured result and cite the source page.Input contract
run_editor
Run the current Sema source and wait for evaluation to finish.
How to install
Open the sema.run website and ask your browser agent to use run_editorInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the run_editor tool on sema.run. Return the structured result and cite the source page.Input contract
stop_run
Cancel the active worker-backed Sema evaluation when one is running.
How to install
Open the sema.run website and ask your browser agent to use stop_runInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the stop_run tool on sema.run. Return the structured result and cite the source page.Input contract
read_output
Read the current playground output, including values, printed lines, errors, and timing.
How to install
Open the sema.run website and ask your browser agent to use read_outputInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the read_output tool on sema.run with offset: <integer>, limit: <integer>. Return the structured result and cite the source page.Input contract
offsetinteger Zero-based character offset at which to start reading.limitinteger Maximum number of characters to return.
find_examples
Find bundled Sema examples by filename, category, or identifier.
How to install
Open the sema.run website and ask your browser agent to use find_examplesInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the find_examples tool on sema.run with query: <string>, limit: <integer>. Return the structured result and cite the source page.Input contract
querystring Case-insensitive text used to filter examples.limitinteger Maximum examples to return.
load_example
Load one bundled Sema example into the editor by identifier or filename.
How to install
Open the sema.run website and ask your browser agent to use load_exampleInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the load_example tool on sema.run with id: <string>. Return the structured result and cite the source page.Input contract
idstring Example identifier such as getting-started/hello.sema or hello.sema.
list_files
List one directory in the playground virtual filesystem.
How to install
Open the sema.run website and ask your browser agent to use list_filesInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the list_files tool on sema.run with dir: <string>. Return the structured result and cite the source page.Input contract
dirstring Absolute virtual directory path to list.
read_file
Read a UTF-8 text file from the playground virtual filesystem.
How to install
Open the sema.run website and ask your browser agent to use read_fileInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the read_file tool on sema.run with path: <string>, offset: <integer>, limit: <integer>. Return the structured result and cite the source page.Input contract
pathstring Absolute virtual file path to read.offsetinteger Zero-based character offset at which to start reading.limitinteger Maximum number of characters to return.
write_file
Create or replace a UTF-8 text file in the playground virtual filesystem.
How to install
Open the sema.run website and ask your browser agent to use write_fileInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the write_file tool on sema.run with path: <string>, content: <string>. Return the structured result and cite the source page.Input contract
pathstring Absolute virtual file path to create or replace.contentstring UTF-8 text content, limited to 1 MiB.
set_breakpoints
Replace the debugger breakpoints with the requested one-based source lines.
How to install
Open the sema.run website and ask your browser agent to use set_breakpointsInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the set_breakpoints tool on sema.run with lines: <array>. Return the structured result and cite the source page.Input contract
linesarray One-based editor line numbers on which to pause.
start_debugging
Start debugging the current Sema source and wait for a pause, finish, or error.
How to install
Open the sema.run website and ask your browser agent to use start_debuggingInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the start_debugging tool on sema.run. Return the structured result and cite the source page.Input contract
continue_debugging
Continue the paused Sema debugger and wait for its next stable state.
How to install
Open the sema.run website and ask your browser agent to use continue_debuggingInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the continue_debugging tool on sema.run. Return the structured result and cite the source page.Input contract
step_debugger
Step the paused Sema debugger into, over, or out and wait for its next stable state.
How to install
Open the sema.run website and ask your browser agent to use step_debuggerInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the step_debugger tool on sema.run with mode: <string>. Return the structured result and cite the source page.Input contract
modestring Debugger stepping mode.
stop_debugging
Stop the active Sema debugger and return the playground to its idle state.
How to install
Open the sema.run website and ask your browser agent to use stop_debuggingInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the stop_debugging tool on sema.run. Return the structured result and cite the source page.Input contract
get_debug_state
Read debugger status, active line, breakpoints, locals, and stack frames.
How to install
Open the sema.run website and ask your browser agent to use get_debug_stateInstall browse first, then run the command in a terminal. WebMCP tools run directly on the website and do not need a package install.
Run with an agent
Use the get_debug_state tool on sema.run. Return the structured result and cite the source page.