wop commited on
Commit
f8e42a0
·
1 Parent(s): 812b42d

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +1 -467
app.py CHANGED
@@ -9,473 +9,7 @@ client = InferenceClient(
9
  )
10
 
11
  def format_prompt(message, history):
12
- prompt = """Your name is BDFD Script Coder. Here are all functions: $addButton[ ]
13
- $addCmdReactions[ ]
14
- $addEmoji[ ]
15
- $addField[ ]
16
- $addReactions[ ]
17
- $addSelectMenuOption[ ]
18
- $addTextInput[ ]
19
- $addTimestamp
20
- $addTimestamp[ ]
21
- $allMembersCount
22
-
23
-
24
- $allowMention
25
- $allowRoleMentions[ ]
26
- $allowUserMentions[ ]
27
- $alternativeParsing
28
- $and[ ]
29
- $appendOptionSuggestion[ ]
30
- $argCount[ ]
31
- $argsCheck[ ]
32
- $async[ ]
33
- $authorAvatar
34
-
35
-
36
- $authorID
37
- $authorIcon[ ]
38
- $authorOfMessage[ ]
39
- $authorURL[ ]
40
- $author[ ]
41
- $autoCompleteOptionName
42
- $autoCompleteOptionValue
43
- $awaitFunc[ ]
44
- $awaitReactions[ ]
45
- $await[ ]
46
-
47
-
48
- $ban
49
- $banID
50
- $banID[ ]
51
- $ban[ ]
52
- $blackListIDs[ ]
53
- $blackListRolesIDs[ ]
54
- $blackListRoles[ ]
55
- $blackListServers[ ]
56
- $blackListUsers[ ]
57
- $boostCount
58
-
59
-
60
- $c[ ]
61
- $calculate[ ]
62
- $catch
63
- $categoryCount
64
- $categoryCount[ ]
65
- $categoryID[ ]
66
- $changeCooldownTime[ ]
67
- $changeUsernameWithID[ ]
68
- $changeUsername[ ]
69
- $channelCount
70
-
71
-
72
- $channelExists[ ]
73
- $channelID
74
- $channelIDFromName[ ]
75
- $channelID[ ]
76
- $channelName[ ]
77
- $channelPosition
78
- $channelPosition[ ]
79
- $channelSendMessage[ ]
80
- $channelTopic
81
- $channelTopic[ ]
82
-
83
-
84
- $channelType[ ]
85
- $charCount[ ]
86
- $checkCondition[ ]
87
- $checkContains[ ]
88
- $checkUserPerms[ ]
89
- $clear
90
- $clearReactions[ ]
91
- $clear[ ]
92
- $closeTicket[ ]
93
- $colorRole[ ]
94
-
95
-
96
- $color[ ]
97
- $commandsCount
98
- $cooldown[ ]
99
- $createChannel[ ]
100
- $createRole[ ]
101
- $creationDate[ ]
102
- $cropText[ ]
103
- $customEmoji[ ]
104
- $customID
105
- $customImage[ ]
106
-
107
-
108
- $date
109
- $day
110
- $defer
111
- $deleteChannelsByName[ ]
112
- $deleteChannels[ ]
113
- $deleteIn[ ]
114
- $deleteMessage[ ]
115
- $deleteRole[ ]
116
- $deletecommand
117
- $description[ ]
118
-
119
-
120
- $disableInnerSpaceRemoval
121
- $disableSpecialEscaping
122
- $discriminator[ ]
123
- $divide[ ]
124
- $dm
125
- $dmChannelID[ ]
126
- $dm[ ]
127
- $editButton[ ]
128
- $editChannelPerms[ ]
129
- $editEmbedIn[ ]
130
-
131
-
132
- $editIn[ ]
133
- $editMessage[ ]
134
- $editSelectMenuOption[ ]
135
- $editSelectMenu[ ]
136
- $editSplitText[ ]
137
- $editThread[ ]
138
- $else
139
- $elseif[ ]
140
- $embedSuppressErrors[ ]
141
- $embeddedURL[ ]
142
-
143
-
144
- $emoteCount
145
- $enableDecimals[ ]
146
- $enabled[ ]
147
- $endasync
148
- $endif
149
- $endtry
150
- $ephemeral
151
- $error[ ]
152
- $eval[ ]
153
- $executionTime
154
-
155
-
156
- $findChannel[ ]
157
- $findRole[ ]
158
- $findUser[ ]
159
- $footerIcon[ ]
160
- $footer[ ]
161
- $getBanReason[ ]
162
- $getBotInvite
163
- $getChannelVar[ ]
164
- $getCooldown[ ]
165
- $getCustomStatus[ ]
166
-
167
-
168
- $getEmbedData[ ]
169
- $getInviteInfo[ ]
170
- $getLeaderboardValue[ ]
171
- $getMessage[ ]
172
- $getReactions[ ]
173
- $getRoleColor[ ]
174
- $getServerInvite
175
- $getServerInvite[ ]
176
- $getServerVar[ ]
177
- $getTextSplitIndex[ ]
178
-
179
-
180
- $getTextSplitLength
181
- $getTimestamp
182
- $getTimestamp[ ]
183
- $getUserStatus[ ]
184
- $getUserVar[ ]
185
- $getVar[ ]
186
- $giveRole[ ]
187
- $globalCooldown[ ]
188
- $globalUserLeaderboard[ ]
189
- $guildExists[ ]
190
-
191
-
192
- $guildID
193
- $guildID[ ]
194
- $hasRole[ ]
195
- $highestRole
196
- $highestRoleWithPerms[ ]
197
- $highestRole[ ]
198
- $hostingExpireTime
199
- $hostingExpireTime[ ]
200
- $hour
201
- $httpAddHeader[ ]
202
-
203
-
204
- $httpDelete[ ]
205
- $httpGetHeader[ ]
206
- $httpGet[ ]
207
- $httpPatch[ ]
208
- $httpPost[ ]
209
- $httpPut[ ]
210
- $httpRemoveHeader[ ]
211
- $httpResult
212
- $httpResult[ ]
213
- $httpStatus
214
-
215
-
216
- $hypesquad[ ]
217
- $if[ ]
218
- $ignoreChannels[ ]
219
- $ignoreLinks
220
- $ignoreTriggerCase
221
- $image[ ]
222
- $input[ ]
223
- $isAdmin[ ]
224
- $isBanned[ ]
225
- $isBoolean[ ]
226
-
227
-
228
- $isBot[ ]
229
- $isHoisted[ ]
230
- $isMentionable[ ]
231
- $isNSFW[ ]
232
- $isNumber[ ]
233
- $isSlash
234
- $isTimedOut[ ]
235
- $isUserDMEnabled[ ]
236
- $isValidHex[ ]
237
- $joinSplitText[ ]
238
-
239
-
240
- $jsonArrayAppend[ ]
241
- $jsonArrayCount[ ]
242
- $jsonArray[ ]
243
- $jsonClear
244
- $jsonExists[ ]
245
- $jsonParse[ ]
246
- $jsonPretty[ ]
247
- $jsonSet[ ]
248
- $jsonStringify
249
- $jsonUnset[ ]
250
-
251
-
252
- $json[ ]
253
- $kick
254
- $kickMention
255
- $kickMention[ ]
256
- $kick[ ]
257
- $lowestRole
258
- $lowestRoleWithPerms[ ]
259
- $lowestRole[ ]
260
- $max[ ]
261
- $membersCount
262
-
263
-
264
- $membersCount[ ]
265
- $mentionedChannels[ ]
266
- $mentionedRoles[ ]
267
- $mentioned[ ]
268
- $message
269
- $messageID
270
- $message[ ]
271
- $min[ ]
272
- $minute
273
- $modifyChannelPerms[ ]
274
-
275
-
276
- $modifyChannel[ ]
277
- $modifyRolePerms[ ]
278
- $modifyRole[ ]
279
- $modulo[ ]
280
- $month
281
- $multi[ ]
282
- $mute[ ]
283
- $newModal[ ]
284
- $newSelectMenu[ ]
285
- $newTicket[ ]
286
-
287
-
288
- $nickname
289
- $nickname[ ]
290
- $noMentionMessage
291
- $noMentionMessage[ ]
292
- $nomention
293
- $numberSeparator[ ]
294
- $onlyAdmin[ ]
295
- $onlyBotChannelPerms[ ]
296
- $onlyBotPerms[ ]
297
- $onlyForCategories[ ]
298
-
299
-
300
- $onlyForChannels[ ]
301
- $onlyForIDs[ ]
302
- $onlyForRoleIDs[ ]
303
- $onlyForRoles[ ]
304
- $onlyForServers[ ]
305
- $onlyForUsers[ ]
306
- $onlyIfMessageContains[ ]
307
- $onlyIf[ ]
308
- $onlyNSFW[ ]
309
- $onlyPerms[ ]
310
-
311
-
312
- $optOff[ ]
313
- $or[ ]
314
- $parentID
315
- $parentID[ ]
316
- $pinMessage
317
- $pinMessage[ ]
318
- $ping
319
- $premiumExpireTime
320
- $premiumExpireTime[ ]
321
- $publishMessage[ ]
322
-
323
-
324
- $random
325
- $randomChannelID
326
- $randomMention
327
- $randomString[ ]
328
- $randomText[ ]
329
- $randomUser
330
- $randomUserID
331
- $random[ ]
332
- $registerGuildCommands
333
- $registerGuildCommands[ ]
334
-
335
-
336
- $removeButtons
337
- $removeButtons[ ]
338
- $removeComponent[ ]
339
- $removeContains[ ]
340
- $removeLinks
341
- $removeLinks[ ]
342
- $removeSplitTextElement[ ]
343
- $repeatMessage[ ]
344
- $replaceText[ ]
345
- $repliedMessageID
346
-
347
-
348
- $repliedMessageID[ ]
349
- $reply
350
- $replyIn[ ]
351
- $reply[ ]
352
- $resetChannelVar[ ]
353
- $resetServerVar[ ]
354
- $resetUserVar[ ]
355
- $roleCount
356
- $roleExists[ ]
357
- $roleGrant[ ]
358
-
359
-
360
- $roleID[ ]
361
- $roleInfo[ ]
362
- $roleName[ ]
363
- $roleNames
364
- $rolePosition[ ]
365
- $round[ ]
366
- $scriptLanguage
367
- $second
368
- $sendEmbedMessage[ ]
369
- $sendMessage[ ]
370
-
371
-
372
- $sendNotification[ ]
373
- $serverChannelExists[ ]
374
- $serverCooldown[ ]
375
- $serverCount
376
- $serverDescription
377
- $serverDescription[ ]
378
- $serverEmojis[ ]
379
- $serverIcon
380
- $serverIcon[ ]
381
- $serverInfo[ ]
382
-
383
-
384
- $serverLeaderboard[ ]
385
- $serverName[ ]
386
- $serverNames
387
- $serverNames[ ]
388
- $serverOwner
389
- $serverOwner[ ]
390
- $serverRegion
391
- $serverVerificationLvl
392
- $setChannelVar[ ]
393
- $setServerVar[ ]
394
-
395
-
396
- $setUserVar[ ]
397
- $setVar[ ]
398
- $shardID
399
- $shardID[ ]
400
- $slashCommandsCount
401
- $slashID
402
- $slashID[ ]
403
- $slowmode[ ]
404
- $sort[ ]
405
- $splitText[ ]
406
-
407
-
408
- $startThread[ ]
409
- $stop
410
- $sub[ ]
411
- $sum[ ]
412
- $suppressErrors
413
- $suppressErrors[ ]
414
- $takeRole[ ]
415
- $textSplit[ ]
416
- $threadAddMember[ ]
417
- $threadRemoveMember[ ]
418
-
419
-
420
- $thumbnail[ ]
421
- $time[ ]
422
- $timeout[ ]
423
- $title[ ]
424
- $toLowercase[ ]
425
- $toTitleCase[ ]
426
- $toUppercase[ ]
427
- $trimContent
428
- $trimSpace[ ]
429
- $try
430
-
431
-
432
- $tts
433
- $unban
434
- $unbanID
435
- $unbanID[ ]
436
- $unescape[ ]
437
- $unmute[ ]
438
- $unpinMessage[ ]
439
- $unregisterGuildCommands
440
- $unregisterGuildCommands[ ]
441
- $untimeout[ ]
442
-
443
-
444
- $uptime
445
- $url[ ]
446
- $useChannel[ ]
447
- $usedEmoji
448
- $userAvatar[ ]
449
- $userExists[ ]
450
- $userID[ ]
451
- $userInfo[ ]
452
- $userJoinedDiscord[ ]
453
- $userJoined[ ]
454
-
455
-
456
- $userLeaderboard[ ]
457
- $userPerms[ ]
458
- $userReacted[ ]
459
- $userRoles[ ]
460
- $userServerAvatar[ ]
461
- $username
462
- $username[ ]
463
- $varExistError[ ]
464
- $varExists[ ]
465
- $var[ ]
466
-
467
-
468
- $variablesCount[ ]
469
- $webhookAvatarURL[ ]
470
- $webhookColor[ ]
471
- $webhookContent[ ]
472
- $webhookCreate[ ]
473
- $webhookDelete[ ]
474
- $webhookDescription[ ]
475
- $webhookFooter[ ]
476
- $webhookSend[ ]
477
- $webhookTitle[ ]
478
- $webhookUsername[ ]"""
479
  for user_prompt, bot_response in history:
480
  prompt += f"[INST] {user_prompt} [/INST]"
481
  prompt += f" {bot_response}</s> "
 
9
  )
10
 
11
  def format_prompt(message, history):
12
+ prompt = """"""
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
13
  for user_prompt, bot_response in history:
14
  prompt += f"[INST] {user_prompt} [/INST]"
15
  prompt += f" {bot_response}</s> "