annotate src/lib/ai/claude/Ai_chat.luan @ 29:505185272dd7

edit chat
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 02 Aug 2025 22:39:48 -0600
parents 3a80ddafe5a4
children 0fb3488a017d
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
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
30 function Ai_chat.output_messages_html(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
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
42 for i, message in ipairs(messages) do
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
43 if i <= n then
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
44 continue
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
45 end
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
46 local role = message.role or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
47 local who
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
48 if role=="assistant" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
49 who = "Claude"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
50 elseif role=="user" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
51 who = "You"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
52 else
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
53 error(role)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
54 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
55 local function output(text)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
56 text = html_encode(text)
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
57 %>
7
255c36830154 chat tools
Franklin Schmidt <fschmidt@gmail.com>
parents: 6
diff changeset
58 <h3><%=who%></h3>
29
505185272dd7 edit chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
59 <div markdown role="<%=role%>"><%=text%></div>
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
60 <%
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
61 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
62 local content = message.content or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
63 if type(content) == "string" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
64 output(content)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
65 else
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
66 for _, part in ipairs(content) do
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
67 if part.type=="text" then
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
68 local text = part.text or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
69 output(text)
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 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
72 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
73 end_for
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
76
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
77 local function ask(thread,input)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
78 local messages = thread.messages or error
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
79 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
80 role = "user"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
81 content = input
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
82 }
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
83 --[=[
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
84 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
85 role = "assistant"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
86 content = [[
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
87 hello
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
88 ]]
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
89 }
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
90 if true then
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
91 return
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
92 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
93 --]=]
20
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
94 -- logger.info(json_string(thread))
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
95 local resultJson = claude_chat(thread)
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
96 local result = json_parse(resultJson)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
97 -- logger.info(json_string(result))
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
98 result.type == "message" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
99 result.role == "assistant" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
100 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
101 local content = result.content or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
102 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
103 role = "assistant"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
104 content = content
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
105 }
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
106 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
107
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
108 function Ai_chat.ask_first(system_prompt,input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
109 local thread = {
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
110 system = system_prompt
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
111 messages = {nil}
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
112 }
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
113 if input ~= nil then
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
114 ask(thread,input)
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 return json_string(thread)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
117 end
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
118
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
119 function Ai_chat.ask_more(thread,input)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
120 thread = json_parse(thread)
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 20
diff changeset
121 ask(thread,input)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
122 return json_string(thread)
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
125 return Ai_chat