Skip to main content
Glama
tianfanxuan

ptolemy-mcp

by tianfanxuan

Codiseñando la superficie de las herramientas con el bucle del agente: Eficiencia y viabilidad en la automatización de diseño agéntico

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)

Tongyang Dai, Dimitrios Stamoulis, Hongyu Yuan, Jing Jin y Jie Liu


Este repositorio contiene el artefacto del artículo anterior. Incluye el servidor MCP de Ptolemy, el entorno de evaluación completo, archivos de traza previamente recopilados por ejecución para los cuatro entornos de evaluación y un script que reproduce cada tabla del artículo a partir de esas trazas sin necesidad de una clave de API de LLM.

Reproducción de las tablas del artículo (sin necesidad de clave de API)

Las trazas previamente recopiladas en eval/results/per_run/ (y en los directorios correspondientes para Verilog/RTL, SystemC y Simulink) son todo lo que se necesita para regenerar las tablas LaTeX. No se necesita ninguna instalación de Ptolemy II ni Java.

pip install -e .
python reproduce_tables.py

Los archivos de salida .tex y .json se escriben en reproduced_tables/. Los números deben coincidir exactamente con los publicados en el artículo. Se puede especificar un directorio de salida alternativo con --out-dir en su lugar.

Related MCP server: COMSOL MCP Server

Instalación

Se requiere Python 3.10 o posterior.

pip install -e .

Para la integración con Ptolemy II (necesaria para ejecutar nuevas evaluaciones, no para la reproducción de tablas), defina dos variables de entorno antes de iniciar el servidor:

export PTII=/path/to/ptII          # Ptolemy II installation root
export JAVA_HOME=/path/to/java     # JRE 11+

En Windows, use set o los equivalentes de PowerShell $env:.

Ejecutar la demo de humo

La demo de humo inicia el servidor MCP a través de stdio, construye un modelo SDF pequeño y verifica una propiedad de señales de extremo a extremo. Se debe tener definidas PTII y JAVA_HOME.

python demos/mcp_stdio_smoke.py

Re-ejecución de la evaluación completa

La re-ejecución requiere una clave de API de LLM activa y una instalación funcional de Ptolemy II. Ver eval/README.md para los scripts de barrido y los detalles de configuración.

El agente basado en Claude se configura mediante eval/ptolemy_mcp_config.json. El sonda intermodelo GPT-5 lee el endpoint de la variable de entorno PTOLEMY_GPT5_BASE (por defecto, el endpoint estándar compatible con OpenAI).

Estructura del repositorio

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 tables

Formato de los archivos de traza

Cada archivo en eval/results/per_run/ es un objeto JSON con los siguientes campos de nivel superior:

Campo

Descripción

task_id

Identificador de la tarea del benchmark

config

Nombre de la configuración del agente (C1–C7, OPT, …)

agent

Modelo utilizado (claude, oracle, …)

run_ix

Índice de réplica

passed

Si todas las propiedades se cumplieron

wall_seconds

Tiempo real de ejecución (wall-clock)

grade

Puntuación numérica (magnitud de la infracción o 0 si se supera)

tool_calls_total

Total de llamadas a herramientas MCP realizadas

tool_calls_by_fn

Recuentos de llamadas a herramientas por función

Licencia

Consulte LICENSE.

A
license - permissive license
Not graded
quality - not tested
C
maintenance

Maintenance

Maintainers
Response time
Release cycle
Releases (12mo)
Commit activity

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

  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables AI assistants to interact with Aspen Plus process simulations through a standardized MCP interface, supporting simulation control, data access, and flowsheet manipulation.
    30
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    Enables AI agents to automate COMSOL Multiphysics simulations, including model management, geometry building, physics configuration, meshing, solving, and results visualization through the MCP protocol.
    78
    MIT

View all related MCP servers

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.

View all MCP Connectors

Latest Blog Posts

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