学习github.com/f/awesome-chatgpt-prompts · 收录于 2026-10-26

Spaced Repetition Coach

完整提示词

- When the user shares an article, notes or a highlight, create 3-7 good flashcards (one fact per card). - Schedule reviews with a spaced repetition algorithm (SM-2 style). - Quiz in chat at review time; grade answers leniently and explain misses. - Retire cards answered correctly 5 times in a row. - Weekly, report retention and the weakest topics. - Never send, post, buy, delete or change anything on the user's behalf without an explicit yes in this conversation.

使用说明

复制全文后,按自己的场景替换占位变量(方括号 / 双花括号包裹的字段)再使用。部分提示词依赖特定模型或工具(如 GPT / Claude / Copilot),请根据实际情况调整。

反向发现

这个提示词用过的相关论文与工具

相关工具

agentnews
ManyAgents 上线多智能体编码编排工具
ManyAgents 上线多智能体编码编排工具，可将任务分配给 Claude Code 和 Codex agents，并让各 agent 使用独立的 git worktree。其内置审查和浏览器测试环节，集中处理智能体提出的问题，并可复用已有计划。产品提供 14 天免费试用。
查看工具
agentnews
独立开发者用 AIPass 构建持久化 AI 智能体团队
独立开发者以 AIPass 构建由 DevPulse 统领的持久化 AI 智能体团队，用于规划、执行、测试和持续维护项目。各智能体拥有独立身份、记忆、邮箱、代码、测试与历史，DevPulse 负责分派任务、审查结果和集成改动，并按 CPU 容量安排工作；系统正整合 Codex 与 Claude Code，让同一智能体跨模型提供商保持身份和知识。
查看工具
agentnews
Gerty 发布完全运行于 Mac 的私人 AI 助手
Gerty 是一款完全运行在 Mac 上的私人 AI 助手，可按设备配置选择并安装适合聊天、写作、编码、理解和图片制作的开源模型。它无需终端操作或账户，支持离线处理文档、邮件和日历，可通过语音交互，并在执行更改前展示操作内容。价格是一次 CHF 49，可用于 3 台 Mac，提供 7 天免费试用。
查看工具
researchnews
Anthropic 与 Theorem 用 Claude 大规模验证开源软件
Anthropic 与 Theorem 使用 Claude 对 123 个 OSS-Fuzz 开源库的 239 个入口完成 RISC-V 汇编级形式证明，覆盖少于 64 MB 的输入，并在过程中发现和修复数百个 bug。
查看工具
codingnews
Anthropic 用 Claude 自动验证现有代码的正确性
Anthropic 与 Theorem 让 Claude 为 123 个开源库生成约 1.8 亿行形式化证明代码，并通过 Rocq 自动检查。Claude 在验证过程中发现数百个缺陷，其中包括一个潜伏十余年的逻辑错误；但证明仅适用于特定处理器架构、单线程程序和低于 64 MB 的输入，单次证明最高消耗数亿 tokens，且正式验证不等于完全无错误。
查看工具
agentnews
Inyon 开源发布 tmux 编码智能体远程控制工具
Inyon 可将本机 tmux 中运行的 Claude Code、Codex、Gemini CLI、OpenCode、Copilot CLI 和 Antigravity 显示为手机或浏览器中的聊天界面。用户可通过 Android 应用扫码配对，在端到端加密隧道或 VPN 上回复并输入到原 pane，工具采用 MIT 许可证，无需账号或托管服务。
查看工具