Skip to content
Agentmart
Submit a tool

Sema

MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.

Connector by sema-lang.com · Domain verified by the MCP Registry

IndexedMITLocal (stdio)★ 55
Write a review

Chalk Labs

Need help deploying Sema?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

Install

Works with Claude Desktop. Read the repository before you give any tool access to your data.

Download the bundle

MCP bundle (.mcpb): open it with Claude Desktop.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.

Use cases: debugging, code-generation

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list, install config and code. Checked Oct 25, 2026.

Tools
6 read · 9 write · 2 delete
Secrets
None asked for
Install scripts
None found
Runs as
Downloaded binary

Tools by what they do 17

Read from the source code; the running server may list different tools.

Read 6 · Look things up without changing anything.

  • find_examples
  • get_debug_state
  • list_files
  • read_editor
  • read_file
  • read_output

Write 9 · Create, change, send or run things.

  • format_editor
  • load_example
  • run_editor
  • set_breakpoints
  • start_debugging
  • stop_debugging
  • stop_run
  • write_editor
  • write_file

Delete 2 · Delete, drop, revoke or wipe things.

  • continue_debugging
  • step_debugger

Network hosts it talks to 37

  • 169.254.169.254 · found in code
  • ::1 · found in code
  • analytics.ahrefs.com · found in code
  • api.anthropic.com · found in code
  • api.cohere.com · found in code
  • api.github.com · found in code
  • api.groq.com · found in code
  • api.jina.ai · found in code
  • api.mistral.ai · found in code
  • api.moonshot.ai · found in code
  • api.openai.com · found in code
  • api.voyageai.com · found in code
  • api.weather.com · found in code
  • api.x.ai · found in code
  • context7.com · found in code
  • dummyjson.com · found in code
  • example.test · found in code
  • fonts.googleapis.com · found in code
  • fonts.gstatic.com · found in code
  • generativelanguage.googleapis.com · found in code
  • github.com · found in install command, code
  • httpbin.org · found in code
  • icanhazdadjoke.com · found in code
  • ipinfo.io · found in code
  • luajit.org · found in code
  • mcp.asana.com · found in code
  • mcp.linear.app · found in code
  • models.dev · found in code
  • my-resource.cognitiveservices.azure.com · found in code
  • my-resource.openai.azure.com · found in code
Show 7 more hosts
  • open.er-api.com · found in code
  • openrouter.ai · found in code
  • opentelemetry.io · found in code
  • pkg.sema-lang.com · found in code
  • raw.githubusercontent.com · found in code
  • sema-lang.com · found in code
  • sema.run · found in code

Files it touches

  • /dev/sema-nonexistent-test-device
  • /dev/stderr
  • /etc/hosts
  • /etc/passwd
  • /home/linuxbrew/.linuxbrew/bin/sema
  • /home/user/.cargo/bin/sema
  • /home/user/.sema/bin/sema
  • /home/user/.sema/packages
  • /home/user/.sema/packages/github.com/user/repo
  • /Library/Fonts
  • /opt/homebrew/bin
  • /opt/homebrew/Cellar/sema-lang/1.30.0/bin/sema
  • /opt/homebrew/opt/gambit-scheme/bin
  • /proc/self/root
  • /tmp/evil.txt
  • /tmp/none.jsonl
  • /tmp/outside
  • /tmp/pwned.txt
  • /tmp/sema_test_nonexistent_binary
  • /tmp/sema-debug-a.sema
  • /tmp/sema-debug-b.sema
  • /tmp/test.txt
  • /Users/helge/code/sema/sema/benchmarks/data/bench-10m.txt
  • /usr/lib
  • /usr/local/Cellar/sema-lang/1.30.0/bin/sema
  • /usr/local/share/fonts
  • /usr/share/fonts
  • Your home directory (~)
  • ~/.local/share/fonts
  • ~/Library/Fonts
  • ~/sema-out/game

Tools (17)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • continue_debugging

    Continue the paused Sema debugger and wait for the next breakpoint, finish, or error.

  • find_examplesread-only

    Find bundled Sema examples by filename, category, or identifier. Returns identifiers accepted by load_example.

  • format_editor

    Format and replace the current Sema source in the editor. This does not run the code.

  • get_debug_stateread-only

    Read debugger status, active line, breakpoints, locals, and stack frames.

  • list_filesread-only

    List the immediate children of one virtual filesystem directory. The listing is non-recursive.

  • load_example

    Replace the editor with one bundled Sema example selected by identifier or filename. This does not run the code.

  • read_editorread-only

    Read Sema source from the playground editor. Use this before editing or running unfamiliar code.

  • read_fileread-only

    Read a character range from a UTF-8 text file in the playground virtual filesystem.

  • read_outputread-only

    Read the current playground output, including values, printed lines, errors, and timing.

  • run_editor

    Run the current Sema source, using the worker runtime when available, and wait for evaluation to finish.

  • set_breakpoints

    Replace all debugger breakpoints with one-based lines, snapping requests to executable source lines.

  • start_debugging

    Start debugging the current Sema source and wait for a pause, finish, or error.

  • step_debugger

    Step the paused Sema debugger into, over, or out, then wait for its next stable state.

  • stop_debugging

    Stop the active Sema debugger and return the playground to its idle state.

  • stop_run

    Cancel the active worker-backed Sema evaluation when one is running.

Show 2 more tools
  • write_editor

    Replace the entire playground editor with Sema source. This does not run the code.

  • write_file

    Create or overwrite a UTF-8 virtual file, creating parent directories as needed. Content is limited to 1 MiB.

Signals

Stars
55
Forks
6
Open issues
5
Contributors
5
Last commit
Oct 21, 2026 (10 days ago)
Last release
Oct 9, 2026 (21 days ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
com.sema-lang/sema
Version
1.37.0
Auth
No auth
Packages
mcpb https://github.com/sema-lisp/sema/releases/download/v1.37.0/sema.mcpb
License
MIT
Repository
github.com/sema-lisp/sema
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped
50+
launches shipped
media placements
500+
media placements
founders on every account
2
founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Sema running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Goes to the Chalk Labs founders, not the newsletter. Privacy

Need help deploying Sema?

CallGet help
Cite this page

Sema MCP server. Agent Mart. https://agentmart.dev/connectors/sema-lang-com-sema (last updated 2026-10-24)