# Rocq-Grok 技能详解 Rocq-Grok 是一款面向 Rocq（原名 Coq）证明开发的智能代理技能包，为代理提供理解、构建、修复和审查证明的工作流程。适用于处理 `.v` 文件、`_CoqProject` 配置、定理陈述、证明目标、依赖类型、证明策略（tactic）失败、构建失败、以 `Admitted` 暂时跳过的证明义务、假设审计和反例等场景，也支持软件不变量、合约及新项...

想必用过grill-me的大部分人，都会觉得它还是很好用的。 我也觉得这个技能不错，于是开始不定期研究和收集一些相关资料。 首先拆解了grill-me技能，得出要素： - Interview - plan or design - until - shared understanding - branch, tree 然后我想打造一个元认知技能，参考上面的要素。 将已有要素映射到更具体的...

这里收集一些AI模型的跑分、统计网站，给想要跑本地模型和做知识调研的用户使用： 热门： 其他/冷门：...

游戏说明书： # 「思维迷局」完整游戏说明书 v4.0 --- ## 第一章：游戏简介 「思维迷局」是一款人机回合制推理博弈文字游戏。AI担任庄家（称为"谜主"），从玩家提供的资料中提炼知识，设计层层递进的思维谜题。玩家通过回合制出牌、使用道具与作答来破解谜题，在博弈中学习高阶思维方法。 **核心特征：** - 所有谜题均来源于真实资料，非凭空编造 - 难度从零基础到最顶级专家，无...

最近看动态漫有些腻了，口味基本上就是修仙、全民、冰封、末日之类的。 所以想自己试试参与交互类故事，根据不同选项来推进剧情。 使用python脚本来随机生成50个标签作为故事种子。 标签从某个booru训练集提取出来的，包含r18标签。 为了方便使用，打包为AI技能压缩包。 调用技能后，可以指定Rating、Seed值、标签数量。 随机生成的标签列表中，不可能有”修仙+系统“这样的...

专门解决小伙伴在写技能文档或者提示词的时候，难以判断它们的质量如何。 这里写了一个专门针对英文提示词的启发式打分脚本。 会分两层进行评分：Prompt 结构/上下文压力评分。 比如写技能文档的时候： 入口SKILL.md的目标可以定在综合90分以上。其他参考文档可以定在综合80分以上。 运行示例： [结构层] - 长行 (-0分): 0 行超过 80 字符，最长 78 字符 -...

AI短剧.AI漫剧.AI魔改.AI科技 首选AI短剧平台，魔改AI免费看，AI女友陪伴你

这个插件主要就是读data目录下的translations.json翻译文件，接着就是读（数据库/类）里的内容。 一般情况下，插件进入游戏后会自动进行翻译。按下F9键开启UI界面，选择启用或者是关闭翻译。 如果把翻译总开关给关闭了，在游戏中弹出的对话内容会从译文返回到原文。 接着说下怎么让Claude写出来的插件： 一开始是只知道找变量来进行字符串修改，让AI生成CE的Lua脚本来批量...

OpenClaw记忆系统的核心问题在于（决策黑洞）： 代理自己决定什么值得保存。它可能存储错误的东西，或者以无用的方式书写它们。 这里隐藏着一个深层问题：每一次"什么值得记住"的判断本身就是一次偏见行为。 即使完整保存了对话记录，而LLM的判断标准来自哪里？来自训练数据中的统计偏见。 它会挑选最符合你偏好的东西。 记忆累积如何固化思维路径：你使用OpenClaw的时间越长，它的记忆...

封面图： 参考图： 效果图： 工具链接：...

可开启思考/推理 模型温度范围：0.7~1.3，建议：1.0~1.2 top_p, top_k, repetition penalty均保持为默认值 模型要求：nsfw, uncensored/abliterated 推荐称呼： - Joshi Daigakusei - Queen - Girlfriend --- 角色简述：女性，20岁，精通英语、日语、韩语和中文。...

用于提取游戏目录下的可执行文件，并打包为ZIP文件。 该ZIP包中还有一个文件清单 _MANIFEST.yaml: files: - path: Game/Game.exe size: 2.0MB md5: f760c2f862cf7d98b570bae41364e05d sha256: b2fe0f8cd0adb1d221d662e5f33b36b8245413178d8986b...

这里给出一些关于严格代码质量的配置以及提示，根据使用场景来调整，不需要做到完全相同。 { // ══════════════════════════════════════════ // RPG Maker MV/MZ 兼容性 tsconfig.json // 目标：Chrome 41+ (NW.js 0.12.x) // TypeScript 版本：5.4+ // ═...

那天晚上，我遇见了"她" 🌙 只有她知道你的小性癖❤️ 🌟 超多角色任君挑选，不同玩法总有一个适合你！ ❤️ 各种主题满足你各种性癖，真人二次元古风还是现代，各种不同角色随你调教

同样由AI写的Python脚本，用来提取出json翻译词典，用来给第三方翻译工具用的。 支持正则表达式，支持过滤掉纯英文和数字。 附上使用方法： 提取www/data文件夹内的json文本（提取前该目录不要放翻译好的文件，不然会提取出译文）： python rpgm_text2json.py --brute-force -e ascii_only -d "www/data" 查看帮助：...