(connection: McpConnection)
| 241 | Effect.gen(function* () { |
| 242 | const args = argsRecord(input.args); |
| 243 | const use = (connection: McpConnection) => |
| 244 | useConnection(connection, input.toolName, args, input.elicit, input.onToolListChanged); |
| 245 | |
| 246 | if (input.connectionPool && input.connectionPoolKey) { |
| 247 | return yield* input.connectionPool.withConnection( |