annotate src/lib/ai/claude/Ai_chat.luan @ 20:27989d63fc71

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 30 Jul 2025 16:29:30 -0600
parents 0351b3d474f8
children 3a80ddafe5a4
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
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
30 function Ai_chat.output_messages_html(lang,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>
16
f5425a3c1898 add languages
Franklin Schmidt <fschmidt@gmail.com>
parents: 13
diff changeset
59 <div markdown role="<%=role%>" lang="<%=lang%>"><%=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
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
77 local system_prompt = [[
20
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
78 # Your Role
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
79
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
80 You are a Japanese language teacher.
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
81
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
82 # Romaji
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
83
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
84 CRITICAL REQUIREMENT: When writing Japanese, use ruby markdown syntax {japanese|romaji} for pronunciation guidance.
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
85
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
86 Apply ruby tags to meaningful pronunciation units:
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
87 - Individual kanji or kanji compounds: {私|watashi}, {学生|gakusei}
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
88 - Hiragana/katakana words and particles: {は|wa}, {です|desu}, {ありがとう|arigatō}
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
89 - Grammatical elements: {ました|mashita}, {ません|masen}
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
90
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
91 The romaji must reflect ACTUAL PRONUNCIATION, not character-by-character readings.
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
92 Use macrons for long vowels: ā, ī, ū, ē, ō
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
93
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
94 APPLIES TO ALL JAPANESE TEXT: Example sentences, grammar explanations, vocabulary lists, casual mentions - ANY Japanese characters in your response need ruby tags.
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
95
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
96 VERIFICATION STEP: Before sending, scan your ENTIRE response for any Japanese characters (hiragana, katakana, kanji) and ensure they all have ruby tags.
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
97 ]]
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
98
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
99
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
100 function Ai_chat.ask(thread,input)
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
101 thread = thread and json_parse(thread) or {
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
102 system = system_prompt
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
103 messages = {nil}
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
104 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
105 local messages = thread.messages or error
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
106 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
107 role = "user"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
108 content = input
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
109 }
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
110 --[=[
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 = [[
13
65bd7e245c63 add html
Franklin Schmidt <fschmidt@gmail.com>
parents: 12
diff changeset
114 hello
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
115 ]]
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
116 }
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
117 if true then
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
118 return json_string(thread)
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
119 end
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
120 --]=]
20
Franklin Schmidt <fschmidt@gmail.com>
parents: 19
diff changeset
121 -- logger.info(json_string(thread))
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
122 local resultJson = claude_chat(thread)
6
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
123 local result = json_parse(resultJson)
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
124 -- logger.info(json_string(result))
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
125 result.type == "message" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
126 result.role == "assistant" or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
127 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
128 local content = result.content or error()
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
129 messages[#messages+1] = {
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
130 role = "assistant"
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
131 content = content
025bb19b65b1 use claude
Franklin Schmidt <fschmidt@gmail.com>
parents: 5
diff changeset
132 }
9
Franklin Schmidt <fschmidt@gmail.com>
parents: 7
diff changeset
133 return json_string(thread)
5
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
134 end
a970b7a01a74 start ai
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
135
19
Franklin Schmidt <fschmidt@gmail.com>
parents: 16
diff changeset
136 return Ai_chat