execute_alloy
Execute Alloy modeling language code to perform formal verification and software modeling, returning structured JSON results for analysis.
Instructions
Execute Alloy modeling language code and return structured JSON results
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| code | Yes | The Alloy modeling language code to execute |
Input Schema (JSON Schema)
{
"properties": {
"code": {
"description": "The Alloy modeling language code to execute",
"type": "string"
}
},
"required": [
"code"
],
"type": "object"
}