# TealMCP (Lua Code Execution)

> Use this tool when you need to execute Lua code in a secure and isolated environment, solving problems such as code sandboxing, package management, and file operations for use cases like educational coding assistance, data analysis, and prototyping. It takes Lua code as input and provides output through stdio or HTTPS transport modes, with features like session management and snapshot capabilities. Ideal for situations requiring type-safe and configurable code execution with proper isolation.

Canonical page: https://skillsregistry.net/skills/frityet-teal-mcp  
JSON: https://api.skillsregistry.net/v1/skills/frityet-teal-mcp

## Description

TealMCP is a Lua-based server implementation written in Teal (a typed dialect of Lua) that provides sandboxed code execution environments with session management, package management via LuaRocks, and filesystem operations. Built with a dependency injection container architecture, it supports both stdio and HTTPS transport modes, features persistent session state with snapshot capabilities, and includes tools for evaluating Lua code, managing rock dependencies, and performing file operations within isolated session environments. The implementation emphasizes type safety through Teal's static typing system and provides a complete runtime environment for executing Lua code safely with configurable I/O permissions, making it useful for educational coding assistance, data analysis workflows, and prototyping Lua applications with proper isolation.

## Trust

- **Trust score (0–1):** 1.00
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** file-system
- **Updated:** 2026-09-19

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/frityet-teal-mcp)
- **Repository:** <https://github.com/frityet/tealmcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "frityet-teal-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/frityet-teal-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/frityet-teal-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt