annotate src/lib/ai/claude/Ai_chat.luan @ 34:0fb3488a017d

show_text
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 04 Aug 2025 23:06:19 -0600
parents 505185272dd7
children 3117876debca
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
3 local ipairs = Luan.ipairs or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
4 local type = Luan.type or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
5 local String = require "luan:String.luan"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
6 local starts_with = String.starts_with or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
7 local Html = require "luan:Html.luan"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
8 local html_encode = Html.encode or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
9 local Parsers = require "luan:Parsers.luan"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
10 local json_parse = Parsers.json_parse or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
11 local json_string = Parsers.json_string or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
12 local Claude = require "site:/lib/ai/claude/Claude.luan"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
13 local claude_chat = Claude.chat or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
14 local Logging = require "luan:logging/Logging.luan"
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
15 local logger = Logging.logger "claude/Ai_chat"
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
18 local Ai_chat = {}
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
20 function Ai_chat.output_system_prompt(thread)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
21 if thread == nil then
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
22 return
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
23 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
24 thread = json_parse(thread)
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
25 local system_prompt = thread.system or error
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
26 system_prompt = html_encode(system_prompt)
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
27 %><%=system_prompt%><%
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
28 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
29
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
30 function Ai_chat.output_messages_html(show_text,thread,old_thread)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
31 if thread == nil then
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
32 return
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
33 end
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
34 thread = json_parse(thread)
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
35 local messages = thread.messages or error
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
36 local n = 0
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
37 if old_thread ~= nil then
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
38 old_thread = json_parse(old_thread)
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
39 local old_messages = old_thread.messages or error
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
40 n = #old_messages
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
41 end
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
42 local checked = show_text and "checked" or ""
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
43 for i, message in ipairs(messages) do
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
44 if i <= n then
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
45 continue
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
46 end
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
47 local role = message.role or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
48 local who
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
49 if role=="assistant" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
50 who = "Claude"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
51 elseif role=="user" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
52 who = "You"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
53 else
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
54 error(role)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
55 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
56 local function output(text)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
57 text = html_encode(text)
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
58 %>
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
59 <h3><%=who%></h3>
34
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
60 <div role="<%=role%>">
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
61 <div message markdown><%=text%></div>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
62 <% if role=="assistant" then %>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
63 <div controls>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
64 <audio controls preload=none></audio>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
65 <label clickable><input type=checkbox name=show_text <%=checked%> >Show text</label>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
66 </div>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
67 <% end %>
0fb3488a017d show_text
Franklin Schmidt <fschmidt@gmail.com>
parents: 29
diff changeset
68 </div>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
69 <%
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
70 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
71 local content = message.content or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
72 if type(content) == "string" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
73 output(content)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
74 else
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
75 for _, part in ipairs(content) do
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
76 if part.type=="text" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
77 local text = part.text or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
78 output(text)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
79 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
80 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
81 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
82 end_for
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
85
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
86 local function ask(thread,input)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
87 local messages = thread.messages or error
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
88 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
89 role = "user"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
90 content = input
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
91 }
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
92 --[=[
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
93 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
94 role = "assistant"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
95 content = [[
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
96 hello
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
97 ]]
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
98 }
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
99 if true then
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
100 return
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
101 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
102 --]=]
20
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
103 -- logger.info(json_string(thread))
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
104 local resultJson = claude_chat(thread)
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
105 local result = json_parse(resultJson)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
106 -- logger.info(json_string(result))
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
107 result.type == "message" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
108 result.role == "assistant" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
109 result.stop_reason == "end_turn" or result.stop_reason == "tool_use" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
110 local content = result.content or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
111 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
112 role = "assistant"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
113 content = content
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
114 }
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
115 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
116
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
117 function Ai_chat.ask_first(system_prompt,input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
118 local thread = {
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
119 system = system_prompt
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
120 messages = {nil}
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
121 }
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
122 if input ~= nil then
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
123 ask(thread,input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
124 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
125 return json_string(thread)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
126 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
127
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
128 function Ai_chat.ask_more(thread,input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
129 thread = json_parse(thread)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
130 ask(thread,input)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
131 return json_string(thread)
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
132 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
133
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
134 return Ai_chat