mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-24 22:34:59 +00:00
134 lines
4 KiB
Python
134 lines
4 KiB
Python
import argparse
|
|
import json
|
|
|
|
from aider import models, prompts
|
|
from aider.dump import dump # noqa: F401
|
|
from aider.sendchat import simple_send_with_retries
|
|
|
|
|
|
class ChatSummary:
|
|
def __init__(self, client, model=models.Model.weak_model(), max_tokens=1024):
|
|
self.client = client
|
|
self.tokenizer = model.tokenizer
|
|
self.max_tokens = max_tokens
|
|
self.model = model
|
|
|
|
def too_big(self, messages):
|
|
sized = self.tokenize(messages)
|
|
total = sum(tokens for tokens, _msg in sized)
|
|
return total > self.max_tokens
|
|
|
|
def tokenize(self, messages):
|
|
sized = []
|
|
for msg in messages:
|
|
tokens = len(self.tokenizer.encode(json.dumps(msg)))
|
|
sized.append((tokens, msg))
|
|
return sized
|
|
|
|
def summarize(self, messages, depth=0):
|
|
sized = self.tokenize(messages)
|
|
total = sum(tokens for tokens, _msg in sized)
|
|
if total <= self.max_tokens and depth == 0:
|
|
return messages
|
|
|
|
min_split = 4
|
|
if len(messages) <= min_split or depth > 3:
|
|
return self.summarize_all(messages)
|
|
|
|
tail_tokens = 0
|
|
split_index = len(messages)
|
|
half_max_tokens = self.max_tokens // 2
|
|
|
|
# Iterate over the messages in reverse order
|
|
for i in range(len(sized) - 1, -1, -1):
|
|
tokens, _msg = sized[i]
|
|
if tail_tokens + tokens < half_max_tokens:
|
|
tail_tokens += tokens
|
|
split_index = i
|
|
else:
|
|
break
|
|
|
|
# Ensure the head ends with an assistant message
|
|
while messages[split_index - 1]["role"] != "assistant" and split_index > 1:
|
|
split_index -= 1
|
|
|
|
if split_index <= min_split:
|
|
return self.summarize_all(messages)
|
|
|
|
head = messages[:split_index]
|
|
tail = messages[split_index:]
|
|
|
|
summary = self.summarize_all(head)
|
|
|
|
tail_tokens = sum(tokens for tokens, msg in sized[split_index:])
|
|
summary_tokens = len(self.tokenizer.encode(json.dumps(summary)))
|
|
|
|
result = summary + tail
|
|
if summary_tokens + tail_tokens < self.max_tokens:
|
|
return result
|
|
|
|
return self.summarize(result, depth + 1)
|
|
|
|
def summarize_all(self, messages):
|
|
content = ""
|
|
for msg in messages:
|
|
role = msg["role"].upper()
|
|
if role not in ("USER", "ASSISTANT"):
|
|
continue
|
|
content += f"# {role}\n"
|
|
content += msg["content"]
|
|
if not content.endswith("\n"):
|
|
content += "\n"
|
|
|
|
messages = [
|
|
dict(role="system", content=prompts.summarize),
|
|
dict(role="user", content=content),
|
|
]
|
|
|
|
summary = simple_send_with_retries(self.client, self.model, messages)
|
|
if summary is None:
|
|
raise ValueError(f"summarizer unexpectedly failed for {self.model.name}")
|
|
summary = prompts.summary_prefix + summary
|
|
|
|
return [dict(role="user", content=summary)]
|
|
|
|
|
|
def main():
|
|
parser = argparse.ArgumentParser()
|
|
parser.add_argument("filename", help="Markdown file to parse")
|
|
args = parser.parse_args()
|
|
|
|
with open(args.filename, "r") as f:
|
|
text = f.read()
|
|
|
|
messages = []
|
|
assistant = []
|
|
for line in text.splitlines(keepends=True):
|
|
if line.startswith("# "):
|
|
continue
|
|
if line.startswith(">"):
|
|
continue
|
|
if line.startswith("#### /"):
|
|
continue
|
|
|
|
if line.startswith("#### "):
|
|
if assistant:
|
|
assistant = "".join(assistant)
|
|
if assistant.strip():
|
|
messages.append(dict(role="assistant", content=assistant))
|
|
assistant = []
|
|
|
|
content = line[5:]
|
|
if content.strip() and content.strip() != "<blank>":
|
|
messages.append(dict(role="user", content=line[5:]))
|
|
continue
|
|
|
|
assistant.append(line)
|
|
|
|
summarizer = ChatSummary(models.Model.weak_model())
|
|
summary = summarizer.summarize(messages[-40:])
|
|
dump(summary)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|