Schedule reminders by mentioning the Discord bot

メンション本文にリマインド系のキーワードが含まれていたとき、LLM に
create_reminder / list_reminders / cancel_reminder の3ツールを渡し、
自然言語から日時と用件を取り出して reminders テーブルに保存する。
system メッセージに現在時刻を入れてあるので『明日』『30分後』のような
相対表現はモデル側が絶対日時に直す。扱うのは一回きりの通知のみ。

配信は APScheduler の discord_reminders ジョブ(既定30秒間隔)が担い、
Webhook ではなく Bot クライアントから登録元チャンネルへ依頼者を
メンションして送るため、専用の Webhook URL 設定は要らない。

- 日時は他テーブルと同じく UTC で保存し、ユーザー・LLM とのやり取りは
  ローカル時刻で行って reminders.py の境界で変換する
- 過去・REMINDER_MAX_AHEAD_DAYS より先・解釈不能な日時はツール結果として
  エラー文をモデルに返し、聞き直させる
- 一覧・取り消しは依頼者の user_id で絞るため他人のリマインドには触れない
- 配信に5回失敗したら notified_at を立てて諦める(チャンネル削除などで
  ポーリングのたびにエラーログを出し続けるのを防ぐ)。カウンタは
  プロセス内のみなので、再起動すればまた試す

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
2026-08-23 23:29:55 +09:00
co-authored by Claude Opus 5
parent 3b30dab650
commit c1aba42cf8
8 changed files with 499 additions and 0 deletions
+21
View File
@@ -190,3 +190,24 @@ class ApiLog(Base):
error: Mapped[str | None] = mapped_column(Text, nullable=True)
latency_ms: Mapped[float | None] = mapped_column(Float, nullable=True)
created_at: Mapped[datetime] = mapped_column(UtcDateTime, default=lambda: datetime.now(timezone.utc))
class Reminder(Base):
"""Discord Bot がメンションで受け付けた一回きりのリマインド。
登録は app.core.discord.reminders の create_reminder ツール、配信は同モジュールの
deliver_due_reminders() を APScheduler が定期的に呼ぶことで行う。
日時は他のテーブルと同じくUTCで持ち、ユーザーとのやり取りの際にローカル時刻へ直す。
"""
__tablename__ = "reminders"
id: Mapped[int] = mapped_column(Integer, primary_key=True, autoincrement=True)
channel_id: Mapped[str] = mapped_column(String) # 登録された(=配信先の)チャンネル
user_id: Mapped[str] = mapped_column(String) # 依頼者。配信時にメンションする
user_name: Mapped[str] = mapped_column(String) # 一覧表示とログ用の表示名
content: Mapped[str] = mapped_column(Text)
due_at: Mapped[datetime] = mapped_column(UtcDateTime)
created_at: Mapped[datetime] = mapped_column(UtcDateTime, default=lambda: datetime.now(timezone.utc))
# 配信済み。配信を諦めた場合もここを立てて再試行を止める(deliver_due_reminders を参照)
notified_at: Mapped[datetime | None] = mapped_column(UtcDateTime, nullable=True)
cancelled_at: Mapped[datetime | None] = mapped_column(UtcDateTime, nullable=True)