productivity
Modal MCP Integration for Codex
Connect Modal to Codex through the local KosmoKrator MCP gateway with scoped tools, credentials, and write policy.
Connect Modal to Codex
Use KosmoKrator as a local MCP proxy for Codex so coding sessions can reach selected integrations with explicit write policy.
Register kosmo mcp:serve as a local stdio server and choose the integration allowlist. The gateway is local, scoped to this integration, and starts with
--write=deny so Codex can inspect read-capable tools without receiving write access by default.
Modal MCP Config for Codex
Keep write access denied or ask-based unless the workspace is trusted.
{
"mcpServers": {
"kosmokrator-modal": {
"type": "stdio",
"command": "kosmo",
"args": [
"mcp:serve",
"--integration=modal",
"--write=deny"
]
}
}
} Run the Gateway Manually
kosmokrator mcp:serve --integration=modal --write=deny Why Use KosmoKrator Here
Expose only Modal instead of a broad multi-service tool list.
Reuse credentials already configured for the KosmoKrator CLI and Lua runtime.
Start read-only, then opt into ask or allow for trusted workspaces.
Modal Tools Visible to Codex
Codex sees stable MCP tool names generated from the Modal integration catalog.
| MCP tool | Source function | Type | Description |
|---|---|---|---|
integration__modal__modal_list_apps | modal.modal_list_apps | Read | List all Modal apps. Returns app IDs, names, and status details. |
integration__modal__modal_get_app | modal.modal_get_app | Read | Get details for a specific Modal app by ID, including status and metadata. |
integration__modal__modal_list_functions | modal.modal_list_functions | Read | List all functions for a Modal app. Returns function IDs, names, and runtime details. |
integration__modal__modal_list_schedules | modal.modal_list_schedules | Read | List all scheduled functions for a Modal app. Returns schedule IDs, cron expressions, and function details. |
integration__modal__modal_list_volumes | modal.modal_list_volumes | Read | List all Modal volumes. Returns volume IDs, names, and size details. |
integration__modal__modal_list_secrets | modal.modal_list_secrets | Read | List all Modal secrets. Returns secret names and creation dates (values are not exposed). |
integration__modal__modal_get_current_user | modal.modal_get_current_user | Read | Get the current authenticated Modal user information, including name, email, and account details. |