|
7 | 7 | "description": "AffineScript language cartridge -- type checking, parsing, formatting, linting, compiling, hover/goto-def/completion queries, error explanation, stdlib browsing, and syntax reference for the AffineScript language (substructural type system with affine/linear types, algebraic effects)", |
8 | 8 | "domain": "Languages", |
9 | 9 | "tier": "Ayo", |
10 | | - "protocols": ["MCP", "REST"], |
| 10 | + "protocols": [ |
| 11 | + "MCP", |
| 12 | + "REST" |
| 13 | + ], |
11 | 14 | "auth": { |
12 | 15 | "method": "none", |
13 | 16 | "env_var": null, |
|
24 | 27 | "inputSchema": { |
25 | 28 | "type": "object", |
26 | 29 | "properties": { |
27 | | - "source": { "type": "string", "description": "AffineScript source code to check" }, |
28 | | - "filename": { "type": "string", "description": "Virtual filename for error reporting (default: input.as)" } |
| 30 | + "source": { |
| 31 | + "type": "string", |
| 32 | + "description": "AffineScript source code to check" |
| 33 | + }, |
| 34 | + "filename": { |
| 35 | + "type": "string", |
| 36 | + "description": "Virtual filename for error reporting (default: input.as)" |
| 37 | + } |
29 | 38 | }, |
30 | | - "required": ["source"] |
| 39 | + "required": [ |
| 40 | + "source" |
| 41 | + ] |
31 | 42 | } |
32 | 43 | }, |
33 | 44 | { |
|
36 | 47 | "inputSchema": { |
37 | 48 | "type": "object", |
38 | 49 | "properties": { |
39 | | - "source": { "type": "string", "description": "AffineScript source code to parse" } |
| 50 | + "source": { |
| 51 | + "type": "string", |
| 52 | + "description": "AffineScript source code to parse" |
| 53 | + } |
40 | 54 | }, |
41 | | - "required": ["source"] |
| 55 | + "required": [ |
| 56 | + "source" |
| 57 | + ] |
42 | 58 | } |
43 | 59 | }, |
44 | 60 | { |
|
47 | 63 | "inputSchema": { |
48 | 64 | "type": "object", |
49 | 65 | "properties": { |
50 | | - "source": { "type": "string", "description": "AffineScript source code to format" }, |
51 | | - "tab_size": { "type": "number", "description": "Indentation width (default: 2)" }, |
52 | | - "use_tabs": { "type": "boolean", "description": "Use tabs instead of spaces (default: false)" } |
| 66 | + "source": { |
| 67 | + "type": "string", |
| 68 | + "description": "AffineScript source code to format" |
| 69 | + }, |
| 70 | + "tab_size": { |
| 71 | + "type": "number", |
| 72 | + "description": "Indentation width (default: 2)" |
| 73 | + }, |
| 74 | + "use_tabs": { |
| 75 | + "type": "boolean", |
| 76 | + "description": "Use tabs instead of spaces (default: false)" |
| 77 | + } |
53 | 78 | }, |
54 | | - "required": ["source"] |
| 79 | + "required": [ |
| 80 | + "source" |
| 81 | + ] |
55 | 82 | } |
56 | 83 | }, |
57 | 84 | { |
|
60 | 87 | "inputSchema": { |
61 | 88 | "type": "object", |
62 | 89 | "properties": { |
63 | | - "code": { "type": "string", "description": "Error code (e.g. 'E0301', 'E2001', 'W0001')" } |
| 90 | + "code": { |
| 91 | + "type": "string", |
| 92 | + "description": "Error code (e.g. 'E0301', 'E2001', 'W0001')" |
| 93 | + } |
64 | 94 | }, |
65 | | - "required": ["code"] |
| 95 | + "required": [ |
| 96 | + "code" |
| 97 | + ] |
66 | 98 | } |
67 | 99 | }, |
68 | 100 | { |
|
71 | 103 | "inputSchema": { |
72 | 104 | "type": "object", |
73 | 105 | "properties": { |
74 | | - "query": { "type": "string", "description": "Search query (type name, function name, or category like 'collections', 'io', 'effects')" }, |
75 | | - "category": { "type": "string", "description": "Filter by category: types, functions, effects, traits" } |
| 106 | + "query": { |
| 107 | + "type": "string", |
| 108 | + "description": "Search query (type name, function name, or category like 'collections', 'io', 'effects')" |
| 109 | + }, |
| 110 | + "category": { |
| 111 | + "type": "string", |
| 112 | + "description": "Filter by category: types, functions, effects, traits" |
| 113 | + } |
76 | 114 | }, |
77 | | - "required": ["query"] |
| 115 | + "required": [ |
| 116 | + "query" |
| 117 | + ] |
78 | 118 | } |
79 | 119 | }, |
80 | 120 | { |
|
83 | 123 | "inputSchema": { |
84 | 124 | "type": "object", |
85 | 125 | "properties": { |
86 | | - "construct": { "type": "string", "description": "Language construct to look up (e.g. 'fn', 'match', 'effect', 'linear', 'borrow', 'handler')" } |
| 126 | + "construct": { |
| 127 | + "type": "string", |
| 128 | + "description": "Language construct to look up (e.g. 'fn', 'match', 'effect', 'linear', 'borrow', 'handler')" |
| 129 | + } |
87 | 130 | }, |
88 | | - "required": ["construct"] |
| 131 | + "required": [ |
| 132 | + "construct" |
| 133 | + ] |
89 | 134 | } |
90 | 135 | }, |
91 | 136 | { |
|
94 | 139 | "inputSchema": { |
95 | 140 | "type": "object", |
96 | 141 | "properties": { |
97 | | - "source": { "type": "string", "description": "AffineScript expression or snippet to evaluate" } |
| 142 | + "source": { |
| 143 | + "type": "string", |
| 144 | + "description": "AffineScript expression or snippet to evaluate" |
| 145 | + } |
98 | 146 | }, |
99 | | - "required": ["source"] |
| 147 | + "required": [ |
| 148 | + "source" |
| 149 | + ] |
100 | 150 | } |
101 | 151 | }, |
102 | 152 | { |
|
105 | 155 | "inputSchema": { |
106 | 156 | "type": "object", |
107 | 157 | "properties": { |
108 | | - "source": { "type": "string", "description": "AffineScript source code to lint" }, |
109 | | - "filename": { "type": "string", "description": "Virtual filename for diagnostic reporting (default: input.as)" } |
| 158 | + "source": { |
| 159 | + "type": "string", |
| 160 | + "description": "AffineScript source code to lint" |
| 161 | + }, |
| 162 | + "filename": { |
| 163 | + "type": "string", |
| 164 | + "description": "Virtual filename for diagnostic reporting (default: input.as)" |
| 165 | + } |
110 | 166 | }, |
111 | | - "required": ["source"] |
| 167 | + "required": [ |
| 168 | + "source" |
| 169 | + ] |
112 | 170 | } |
113 | 171 | }, |
114 | 172 | { |
|
117 | 175 | "inputSchema": { |
118 | 176 | "type": "object", |
119 | 177 | "properties": { |
120 | | - "source": { "type": "string", "description": "AffineScript source code to compile" }, |
121 | | - "target": { "type": "string", "description": "Compilation target: 'wasm' (default), 'wasm-gc', or 'julia'" }, |
122 | | - "filename": { "type": "string", "description": "Virtual filename for diagnostic reporting (default: input.as)" } |
| 178 | + "source": { |
| 179 | + "type": "string", |
| 180 | + "description": "AffineScript source code to compile" |
| 181 | + }, |
| 182 | + "target": { |
| 183 | + "type": "string", |
| 184 | + "description": "Compilation target: 'wasm' (default), 'wasm-gc', or 'julia'" |
| 185 | + }, |
| 186 | + "filename": { |
| 187 | + "type": "string", |
| 188 | + "description": "Virtual filename for diagnostic reporting (default: input.as)" |
| 189 | + } |
123 | 190 | }, |
124 | | - "required": ["source"] |
| 191 | + "required": [ |
| 192 | + "source" |
| 193 | + ] |
125 | 194 | } |
126 | 195 | }, |
127 | 196 | { |
|
130 | 199 | "inputSchema": { |
131 | 200 | "type": "object", |
132 | 201 | "properties": { |
133 | | - "source": { "type": "string", "description": "AffineScript source code" }, |
134 | | - "line": { "type": "number", "description": "1-based line number" }, |
135 | | - "col": { "type": "number", "description": "1-based column number" } |
| 202 | + "source": { |
| 203 | + "type": "string", |
| 204 | + "description": "AffineScript source code" |
| 205 | + }, |
| 206 | + "line": { |
| 207 | + "type": "number", |
| 208 | + "description": "1-based line number" |
| 209 | + }, |
| 210 | + "col": { |
| 211 | + "type": "number", |
| 212 | + "description": "1-based column number" |
| 213 | + } |
136 | 214 | }, |
137 | | - "required": ["source", "line", "col"] |
| 215 | + "required": [ |
| 216 | + "source", |
| 217 | + "line", |
| 218 | + "col" |
| 219 | + ] |
138 | 220 | } |
139 | 221 | }, |
140 | 222 | { |
|
143 | 225 | "inputSchema": { |
144 | 226 | "type": "object", |
145 | 227 | "properties": { |
146 | | - "source": { "type": "string", "description": "AffineScript source code" }, |
147 | | - "line": { "type": "number", "description": "1-based line number" }, |
148 | | - "col": { "type": "number", "description": "1-based column number" } |
| 228 | + "source": { |
| 229 | + "type": "string", |
| 230 | + "description": "AffineScript source code" |
| 231 | + }, |
| 232 | + "line": { |
| 233 | + "type": "number", |
| 234 | + "description": "1-based line number" |
| 235 | + }, |
| 236 | + "col": { |
| 237 | + "type": "number", |
| 238 | + "description": "1-based column number" |
| 239 | + } |
149 | 240 | }, |
150 | | - "required": ["source", "line", "col"] |
| 241 | + "required": [ |
| 242 | + "source", |
| 243 | + "line", |
| 244 | + "col" |
| 245 | + ] |
151 | 246 | } |
152 | 247 | }, |
153 | 248 | { |
|
156 | 251 | "inputSchema": { |
157 | 252 | "type": "object", |
158 | 253 | "properties": { |
159 | | - "source": { "type": "string", "description": "AffineScript source code" }, |
160 | | - "line": { "type": "number", "description": "1-based line number" }, |
161 | | - "col": { "type": "number", "description": "1-based column number" } |
| 254 | + "source": { |
| 255 | + "type": "string", |
| 256 | + "description": "AffineScript source code" |
| 257 | + }, |
| 258 | + "line": { |
| 259 | + "type": "number", |
| 260 | + "description": "1-based line number" |
| 261 | + }, |
| 262 | + "col": { |
| 263 | + "type": "number", |
| 264 | + "description": "1-based column number" |
| 265 | + } |
162 | 266 | }, |
163 | | - "required": ["source", "line", "col"] |
| 267 | + "required": [ |
| 268 | + "source", |
| 269 | + "line", |
| 270 | + "col" |
| 271 | + ] |
164 | 272 | } |
165 | 273 | } |
166 | | - ] |
| 274 | + ], |
| 275 | + "ffi": { |
| 276 | + "so_path": "ffi/zig-out/lib/libaffinescript_mcp.so", |
| 277 | + "abi_version": "ADR-0006", |
| 278 | + "symbols": [ |
| 279 | + "boj_cartridge_init", |
| 280 | + "boj_cartridge_deinit", |
| 281 | + "boj_cartridge_name", |
| 282 | + "boj_cartridge_version", |
| 283 | + "boj_cartridge_invoke" |
| 284 | + ] |
| 285 | + } |
167 | 286 | } |
0 commit comments