Alloy JSON Files

These files include a JSON version of the Alloy API docs, provided for users integrating the Alloy with third-party IDEs.