# tigl-mcp

> tigl-mcp — cmudrc-tigl-mcp. Use this tool when you need to manage and interact with Git repositories in the context of TiGL projects, solving version control and collaboration problems. It provides an interface for Git operations, accepting commands and repository information as inputs and producing updated repository states as outputs. Ideal for use cases involving source code management and team collaboration in TiGL-based development environments.

Canonical page: https://skillsregistry.net/skills/cmudrc-tigl-mcp  
JSON: https://api.skillsregistry.net/v1/skills/cmudrc-tigl-mcp

## Description

An MCP for TiGL

## Trust

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

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **Category:** other
- **Updated:** 2026-09-20

## Source

- **Source listing:** [GitHub](https://github.com/cmudrc/tigl-mcp)

## 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": "cmudrc-tigl-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/cmudrc-tigl-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/cmudrc-tigl-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