agent 里那些「这条路由到哪个队列、要不要重试、证据够不够」的小判断，原本要靠聊天模型生成整句文本再解析回 if；SemIf 让本地 4B 模型一次前向直接读出选项概率，不生成答案文本。
https://github.com/TheoLeeCJ/SemIf

互联网充电｜优质资源
优质内容｜内幕消息

pkgtui 用 htop 风格终端界面同时管理 apt 和 snap，搜索、安装、移除、升级都能在一个面板里完成，不用背两套包管理器命令。
https://github.com/padovanl/pkgtui

互联网充电｜优质资源
优质内容｜内幕消息

Codex 别再裸着用了！！
同一个模型，别人已经让它自己规划、联网、排错、修 CI，你还在一句一句问代码
真正拉开差距的，不是提示词，而是 Skill
下面这8 个，建议 Codex 新手直接装
planning-with-files
https://github.com/OthmanAdi/planning-with-files
把计划、进度和任务写进 Markdown，减少跨会失忆和任务跑偏
agent-reach
https://github.com/Panniantong/Agent-Reach
给 Codex 补上联网搜索，能查文档、Issues、报错和技术资料
frontend-design
https://github.com/anthropics/skills
提升 UI、布局和视觉规范，减少一眼 AI 的廉价感。
ECC
https://github.com/affaan-m/ECC
内置 249 个技能，覆盖开发、测试、调试、重构和文档
Trail of Bits Security Skills
https://github.com/trailofbits/skills
专门做代码安全审计，辅助发现漏洞、危险依赖和安全隐患
gh-fix-ci
自动读取 GitHub Actions 日志，定位并修复 CI 失败
second-brain-skills
沉淀项目规范、知识库和 SOP，让 Codex 越用越懂你的项目
stop-slop
清理 AI 味、模板和废，适合 README、注释和文档
别再只研究提示词了
Codex 的下限由模型决定，上限由 Skill 决定
把这8个装上，它才真正从“聊天工具”变成“干活的 Agent”

互联网充电｜优质资源
优质内容｜内幕消息

以前写代码的成本更高，review代码的虽然有成本，但相对写的人还是成本小。现在反过来了，写代码的人成本低多了，但review的人要更高成本才能审核的过来。
某种程度上说，开发者把成本转嫁到了review代码的人身上。

互联网充电｜优质资源
优质内容｜内幕消息