modal

Tools for working with Modal: an MCP server that gives agents caller-scoped access to a Modal workspace, a convention for defining containers as a single container.toml, and an Arch Linux + nix image along with the workarounds nix needs under Modal's gVisor runtime.

• MCP server

  Apps, functions, logs, sandboxes, storage, billing and HTTP service deployment through the public Modal Python SDK, hosted on Modal itself.

• Containers

  One directory per container, defined by container.toml, scaffolded and deployed with two scripts.

• Nix on Modal

  Why nix cannot build derivations under gVisor, and the ptyshim.c workaround.

Quick links

What	Where
Hosted MCP endpoint	https://codegod100--modal-mcp.modal.run/mcp
Source	codegod100/modal
MCP server code	mcp/
Container spec	container.toml reference

Working on these docs

The site is built with MkDocs Material and deployed to GitHub Pages on every push to main.

pixi run docs         # live preview at http://127.0.0.1:8000
pixi run docs-build   # strict build into site/