ptolemy-mcp
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@ptolemy-mcpBuild an SDF model with a sine source and display, then verify the output signal's period."
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
Co-Designing the Tool Surface with the Agent Loop: Efficiency and Feasibility in Agentic Design Automation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Tongyang Dai, Dimitrios Stamoulis, Hongyu Yuan, Jing Jin, and Jie Liu
This repository contains the artifact for the above paper. It includes the Ptolemy MCP server, the full evaluation harness, pre-collected per-run trace files for all four evaluation environments, and a script that reproduces every paper table from those traces without requiring an LLM API key.
Reproducing the paper tables (no API key required)
The pre-collected traces under eval/results/per_run/ (and the corresponding
directories for Verilog/RTL, SystemC, and Simulink) are all that is needed to
regenerate the LaTeX tables. No Ptolemy II installation and no Java are needed.
pip install -e .
python reproduce_tables.pyOutput .tex and .json files are written to reproduced_tables/. The numbers
should match the published paper exactly. An alternative output directory can be
specified with --out-dir.
Related MCP server: COMSOL MCP Server
Installation
Python 3.10 or later is required.
pip install -e .For Ptolemy II integration (needed to run new evaluations, not for table reproduction), set two environment variables before starting the server:
export PTII=/path/to/ptII # Ptolemy II installation root
export JAVA_HOME=/path/to/java # JRE 11+On Windows use set or PowerShell $env: equivalents.
Running the smoke demo
The smoke demo starts the MCP server over stdio, builds a small SDF model, and
verifies a signal property end-to-end. It requires PTII and JAVA_HOME to be
set.
python demos/mcp_stdio_smoke.pyRe-running the full evaluation
Re-running requires a live LLM API key and a working Ptolemy II installation.
See eval/README.md for sweep scripts and configuration details.
The Claude-based agent is configured through eval/ptolemy_mcp_config.json.
The GPT-5 cross-model probe reads the endpoint from the PTOLEMY_GPT5_BASE
environment variable (defaults to the standard OpenAI-compatible endpoint).
Repository layout
ptolemy_mcp/ MCP server and Ptolemy II bridge (Python package)
eval/
benchmarks/ Task specifications for Benchmark A and C
results/per_run/ Pre-collected per-run trace JSON files (1 260 runs)
aggregate_*.py Aggregation scripts that produce the paper's tables
runner.py Evaluation harness entry point
eval_eda/ Verilog/RTL cross-environment evaluation (54 runs)
eval_systemc/ SystemC cross-environment evaluation (27 runs)
eval_simulink/ Simulink cross-environment evaluation (18 runs)
agent/ System prompt and case-study notes used during evaluation
demos/ End-to-end smoke demo and reference MoML models
examples/ Example MCP client configuration
scripts/ Helper scripts for running sweeps
reproduce_tables.py Code Ocean entry point — regenerates all tablesTrace file format
Each file in eval/results/per_run/ is a JSON object with the following
top-level fields:
Field | Description |
| Benchmark task identifier |
| Agent configuration name (C1–C7, OPT, …) |
| Model used (claude, oracle, …) |
| Replicate index |
| Whether all properties were satisfied |
| Wall-clock time for the run |
| Numeric score (violation magnitude or 0 on pass) |
| Total MCP tool calls made |
| Per-function tool call counts |
License
See LICENSE.
This server cannot be installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Servers
- AlicenseNot gradedqualityDmaintenanceEnables AI assistants to interact with Aspen Plus process simulations through a standardized MCP interface, supporting simulation control, data access, and flowsheet manipulation.30MIT
- AlicenseBqualityCmaintenanceEnables AI agents to automate COMSOL Multiphysics simulations, including model management, geometry building, physics configuration, meshing, solving, and results visualization through the MCP protocol.78MIT
- AlicenseAqualityDmaintenanceEnables LLMs and AI agents to interact with AFSIM through standardized MCP tools for scenario management, entity/component control, simulation execution, and results analysis.3721MIT
- AlicenseCqualityDmaintenanceEnables AI agents to control Ansys Electronics Desktop (HFSS, Maxwell, Q3D, etc.) using MCP tools for simulation automation.10035PolyForm Noncommercial 1.0.0
Related MCP Connectors
OCR, transcription, file extraction, and image generation for AI agents via MCP.
MCP server for AI agents to plan, verify, and deploy Cloudflare-native apps.
Deterministic reasoning stack for AI agents: simulate, decide & compute, plus cross-domain tools.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/tianfanxuan/ptolemy-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server