lua integrations available, connect the integration instead; it provisions and authenticates its own MCP server (Integration MCP servers).
Verified against lua-cli 3.33.0.
Before you begin
- A project created with
lua initand signed in withlua auth configure(Install and sign in). - The server’s URL and transport:
streamable-http(the current MCP standard) orssefor older servers. A localstdioprocess is not supported. - Its token stored with
lua env production -k DOCS_MCP_TOKEN -v <token>.
1
Declare the server
headers and url accept a function as well as a value; a function runs on the platform when the connection is built, so env() inside it reads the agent’s environment and the token never lands in configuration. timeout is the deadline in milliseconds for each request to this server, tool calls included; unset, the platform’s 60-second default applies. Listing the server’s tools during a live turn has its own, shorter budget.src/mcp/DocsServer.ts
2
Register it on the agent
Only servers referenced from
LuaAgent.mcpServers are compiled.src/index.ts
3
Compile and push
lua compile bundles the project locally and counts what it found; the warning about a description is harmless in 3.33.0, whose LuaMCPServer accepts no such field.Output
lua push mcp registers the server on the platform by name, or updates the record with that name, and prints ✅ MCP server "docs" pushed successfully; nothing changes for end users yet. A later lua push all or lua push mcp updates an already-active server in place and keeps it active, so a new URL, header, or timeout applies from the agent’s next turn. --name is required only when the agent declares more than one server.4
Activate it
Activation is the live switch: the command prints
✅ MCP server "docs" activated successfully!, and on the agent’s next turn it connects, lists the server’s tools, and offers them to the model. The server is recorded in the agent version, but not versioned on its own, and whether it is on sits outside the version: lua version promote never changes it.5
Verify
List the servers, then ask the agent something only the server can answer.
lua mcp list groups servers into active and inactive, with each server’s transport, URL, and ID. The reply should draw on a tool from the server, and the log shows each call the model made against it.Options you may need
Push and activate in one step
lua push mcp --name docs --ci --force --auto-deploy pushes the record and activates it; lua push all upserts every declared server but ignores --auto-deploy and activates nothing.
Connect an older server over SSE
Settransport: 'sse' and point url at the server’s SSE endpoint; headers and timeout work the same way.
Manage servers an integration provisioned
Connecting a Unified.to integration creates and activates an MCP server named after the integration type.lua mcp list shows it alongside yours, and lua integrations mcp list, lua integrations mcp activate --connection <id>, and lua integrations mcp deactivate --connection <id> activate or deactivate it per connection. Don’t hand-write a LuaMCPServer for a system the catalog covers.
If it isn’t working
No MCP servers found in compiled output.
No MCP servers found in compiled output.
Cause
lua push mcp only sees servers registered on LuaAgent.mcpServers. Fix Import the server in src/index.ts, add it to mcpServers, and push again.The model never uses the server's tools
The model never uses the server's tools
Cause The server is inactive, or the token is missing in the environment the chat runs in. Fix Check
lua mcp list for a green entry and lua env production --list for DOCS_MCP_TOKEN; then read lua logs --type mcp --limit 10 for connection errors.MCP Server should have a description
MCP Server should have a description
Cause The compiler expects a description, but the 3.33.0 typings have no such field on
LuaMCPServer. Fix Ignore the warning; the server compiles, pushes, and activates without it.Next steps
About MCP servers
Transports, lifecycle, and MCP servers versus skills and integrations.
LuaMCPServer reference
Every configuration field.
lua mcp
List, activate, deactivate, and delete servers.
Integration MCP servers
Servers that arrive with a connected integration.

