lean4-harness-plugin
Cosmicwanderer1/lean4-harness-plugin · Cosmicwanderer1
这个项目暂未提供说明。请以原始仓库内容为准。
项目资料
基本信息
- Star
- 1
- 派生
- 0
- 语言
- TypeScript
- 许可证
- MIT
- 创建时间
- 2026-09-07
- 最近更新
- 2026-09-11
同一分类
还可以看看
开发与自动化 · 插件deepseek-harnessdeepseek-aiDeepSeek Harness: Everything is a Plugin.
开发与自动化 · 插件webnovel-writerlingfengQAQ基于 Claude Code 的长篇网文辅助创作系统，解决 AI 写作中的「遗忘」和「幻觉」问题，支持 200 万字量级 连载创作。
开发与自动化 · 插件deepwiki-rssopacoTurn code into clarity. Generate accurate technical docs and AI-ready context in minutes—perfectly structured for human teams and intelligent agents.