# ptolemy-mcp

> ptolemy-mcp — tianfanxuan-ptolemy-mcp. Use this tool when you need to construct and simulate complex system models, particularly for signal processing and verification tasks. It solves problems related to modeling and analyzing systems with heterogeneous components, enabling AI agents to build and verify SDF models and signal properties. The tool accepts model specifications and parameters as input and outputs simulated results and verification reports.

Canonical page: https://skillsregistry.net/skills/tianfanxuan-ptolemy-mcp  
JSON: https://api.skillsregistry.net/v1/skills/tianfanxuan-ptolemy-mcp

## Description

Enables AI agents to construct and simulate Ptolemy II models over MCP, including SDF model builds and signal property verification.

## Trust

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

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-04

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/fe0qm8c7wc)
- **Repository:** <https://github.com/tianfanxuan/ptolemy-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": "tianfanxuan-ptolemy-mcp"
    }
  }
}
```

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