# mcp-server

> mcp-server — iteksmart-mcp-server. Use this tool when you need to integrate AI agents with ProofLink verification and autonomous IT operations. It connects any AI agent to streamline verification and operations, solving problems of manual intervention and disjointed workflows. The mcp-server takes in AI agent inputs and outputs connected verification and operation results, ideal for use cases requiring seamless IT automation and validation.

Canonical page: https://skillsregistry.net/skills/iteksmart-mcp-server  
JSON: https://api.skillsregistry.net/v1/skills/iteksmart-mcp-server

## Description

Moved to iTechSmartINC/mcp-server

## Trust

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

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **Category:** ai-ml
- **Updated:** 2026-09-21

## Source

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

## 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": "iteksmart-mcp-server"
    }
  }
}
```

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