MCP Server for Alloy Modeling Language

declare module 'alloy-lang' { export interface AlloyInstance { messages: unknown[]; skolems: Record<string, unknown>; state: number; values: Record<string, unknown>; } export interface AlloySuccessResult { duration: number; incremental: boolean; instances: AlloyInstance[]; localtime: string; loopstate: number; sigs: Record<string, unknown>; timezone: string; utctime: number; } export interface AlloyErrorResult { error: string; } export type AlloyResult = AlloySuccessResult | AlloyErrorResult; export function evalRaw(alloyProgram: string): string; export function eval(alloyProgram: string): AlloyResult; const alloy: { evalRaw: typeof evalRaw; eval: typeof eval; }; export default alloy; }