SIRIO_mcp_server
An MCP server that exposes the SIRIO library for creation and analysis of Petri Nets
StaleNot tested
★ 2GitHub
25DNo CVEsstale
Quick Install
{
"mcpServers": {
"sirio": {
"args": [
"-Dspring.ai.mcp.server.stdio=true",
"-jar",
"C:\\PATH-TO-SIRIO_mcp_server\\target\\sirio_mcp_server-0.0.1-SNAPSHOT.jar"
],
"command": "java"
}
}
}Are you the author?
Add this badge to your README to show your security score and help users find safe servers.
Embed in your READMEAbout badges →
[](https://mcppedia.org/s/sirio-mcp-server)
Should you use this server?
A Model Context Protocol (MCP) server implementation that exposes powerful Petri Net modeling and analysis capabilities through the SIRIO/OrisTool library. This server enables AI assistants (like Claude, Gemini) to create, manipulate, and analyze Generalized Stochastic Petri Nets (GSPNs) through a standardized tool-calling interface.
✓
Is it safe?
No package registry to scan.
No authentication — any process on your machine can connect.
License not specified.
~
Is it maintained?
Last commit 125 days ago. 2 stars.
i
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
Test This Server
No automated test available for this server. Check the GitHub README for setup instructions.
Score Breakdown
Security
3/30No known vulnerabilities.
○
Known CVEs — No package registry to scan
○
Tool safety — No tools to analyze
○
Tool poisoning — No tools to analyze
○
Injection vectors — No tools to analyze
✓
Tool stability — Tool definitions stable
○
Dependency health — No package to analyze
✗
License — No license specified
○
Authentication — No authentication required
○
