ptolemy-mcp
エージェントループとツールサーフェスの共設計: エージェンティック設計自動化における効率性と実現可能性
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Tongyang Dai、Dimitrios Stamoulis、Hongyu Yuan、Jing Jin、およびJie Liu
このリポジトリには、上記論文のアーティファクトが含まれています。Ptolemy MCP server、完全な評価ハーネス、4つの評価環境すべてに対する収集済みの実行ごとのトレースファイル、そして、それらのトレースから LLM API キーを必要とせずに論文のすべての表を再現するスクリプトが含まれています。
論文の表の再現(API キー不要)
eval/results/per_run/ 配下の収集済みトレース(および Verilog/RTL、SystemC、Simulink に対応するディレクトリ)だけで、LaTeX の表を再生成するのに十分です。Ptolemy II のインストールも Java も必要ありません。
pip install -e .
python reproduce_tables.py出力される .tex ファイルと .json ファイルは reproduced_tables/ に書き込まれます。数値は公開された論文と完全に一致するはずです。別の出力ディレクトリは --out-dir で指定できます。
Related MCP server: COMSOL MCP Server
インストール
Python 3.10 以降が必要です。
pip install -e .Ptolemy II との統合(新しい評価の実行に必要であり、表の再現には不要)では、サーバーを起動する前に2つの環境変数を設定してください。
export PTII=/path/to/ptII # Ptolemy II installation root
export JAVA_HOME=/path/to/java # JRE 11+Windows では、set または PowerShell の $env: 構文を使用します。
スモークデモの実行
スモークデモは、stdio 経由で MCP server を起動し、小さな SDF モデルを構築して、信号のプロパティをエンドツーエンドで検証します。PTII と JAVA_HOME が設定されている必要があります。
python demos/mcp_stdio_smoke.py全評価の再実行
再実行には、有効な LLM API キーと動作する Ptolemy II インストールが必要です。スイープスクリプトと設定の詳細は eval/README.md を参照してください。
Claude ベースのエージェントは eval/ptolemy_mcp_config.json で構成されます。GPT-5 クロスモデルプローブは、エンドポイントを環境変数 PTOLEMY_GPT5_BASE から読み取ります(既定では標準の OpenAI 互換エンドポイントを使用します)。
リポジトリ構成
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トレースファイル形式
eval/results/per_run/ 内の各ファイルは、次のトップレベルフィールドを持つ JSON オブジェクトです。
フィールド | 説明 |
| ベンチマークタスクの識別子 |
| エージェント構成名(C1–C7, OPT, …) |
| 使用されたモデル(claude, oracle, …) |
| 反復インデックス |
| すべてのプロパティが満たされたかどうか |
| 実行のウォールクロック時間 |
| 数値スコア(違反の大きさ、合格時は 0) |
| MCP ツールコールの総数 |
| 関数ごとのツールコール回数 |
ライセンス
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