为移动端项目提供能直接构建并实时预览 iOS/Android 运行效果的开源 AI 编程助手,省去手动切换模拟器、复制日志的折腾。
https://github.com/hsandhu/mobilecode
互联网充电|优质资源
优质内容|内幕消息
https://github.com/hsandhu/mobilecode
互联网充电|优质资源
优质内容|内幕消息
https://github.com/fitchmultz/pi-posthorse
互联网充电|优质资源
优质内容|内幕消息
Anthropic 用 Lean 定理证明器形式化证明了费马大定理,把数学界 350 年的难搬进机器可验证体系,形式化数学的里程碑级项目。
https://github.com/anthropics/fermats-last-theorem
互联网充电|优质资源
优质内容|内幕消息
https://github.com/anthropics/fermats-last-theorem
互联网充电|优质资源
优质内容|内幕消息
为 Go 应用提供与模型无关的生产级 Agent 执行层,把普通 Go 函数变成带校验的类型化工具,自动构建依赖安全的并行执行计划,并处理条件分支、有界重规划与副作用管控。
https://github.com/cocoyes/zhizhi-agent-runtime
互联网充电|优质资源
优质内容|内幕消息
https://github.com/cocoyes/zhizhi-agent-runtime
互联网充电|优质资源
优质内容|内幕消息
推荐一个开源项目 my-ielts,作者把自己备考雅思用到的核心资料全部开源,包括:
雅思词汇真经、语法总结、听力 179 解析、阅读 538 技巧、常见同义替换等,听说读写都能用得上。
最方便的是还有在线阅读版,不用下载,打开网页直接学。
GitHub:https://github.com/hefengxian/my-ielts
在线学习:https://hefengxian.com/my-ielts/
互联网充电|优质资源
优质内容|内幕消息
https://github.com/zhu1090093659/dsh-trading
基于 DeepSeek Harness 做的交易终端,一个界面管四个市场,19 个以上数据源和券商能热切换。下单默认只模拟,真要实盘得手动开开关,每笔还要人审批,无头环境直接拦掉。
互联网充电|优质资源
优质内容|内幕消息
https://github.com/KevinLiss/ApeAdmin
互联网充电|优质资源
优质内容|内幕消息
https://github.com/Dpro-at/Tel-Agent
Tel-Agent 是个开源的电网关,来电先进来按规则分流:转人工、挂掉,或交给 AI 直接跟对方聊,能转接、留言、查日历、调外部接口,通都有录音和文字记录可查。
互联网充电|优质资源
优质内容|内幕消息
在你这台真实电脑上干活:动鼠标键盘、开应用、控浏览器、建 Google 文档,还能拿 Telegram 从手机远程下指令。
https://github.com/SAFIYEV/HeyAgent
互联网充电|优质资源
优质内容|内幕消息
https://github.com/SAFIYEV/HeyAgent
互联网充电|优质资源
优质内容|内幕消息
销量超千万册的万物简史作者比尔布莱森新作,用故事讲透语言,轻松读懂单词前世今生!
从日常词汇到文化俚语,每个单词都藏着意想不到的故事
《美式英语简史》👇立即阅读
https://pan.quark.cn/s/4a03922fbeed
@meiriyishu
ternssh 是一个基于 Web 的 SSH 工作台,不需要额外安装客户端,打开浏览器就能连接远程主机。
部署方式也比较灵活,可以直接跑在 Cloudflare Workers 上,也可以用 Docker 自建,适合个人服务器管理和团队内部使用。
它集成了终端、SFTP、服务器状态监控和可拖拽仪表盘,把常用运维操作集中到一个页面里。
如果你经常管理 VPS 或远程服务器,这类轻量 Web SSH 工具值得收藏。
🔗 https://github.com/HaradaKashiwa/ternssh
互联网充电|优质资源
优质内容|内幕消息
Sub2API
一个把 AI 订阅额度做成可管理 API 网关的开源项目
→ 这不是普通中转壳子,是自托管的“AI 配额分发后台”。
→ 它把多账号调度、API Key 分发、Token 级计费、并发限速这些脏活一次补齐了。
→ 如果你在做团队共享、拼车分摊、统一上游出口,这项目确实值得点开。
→ 连 OpenAI Responses 兼容细节和 Claude Code 已知问都写了,明显是踩过坑的人在做。
→ 代价也很明确:要 PostgreSQL + Redis,定位不是轻量脚本,而是能长期跑的管理系统。
https://github.com/Wei-Shaw/sub2api
互联网充电|优质资源
优质内容|内幕消息
一个把 AI 订阅额度做成可管理 API 网关的开源项目
→ 这不是普通中转壳子,是自托管的“AI 配额分发后台”。
→ 它把多账号调度、API Key 分发、Token 级计费、并发限速这些脏活一次补齐了。
→ 如果你在做团队共享、拼车分摊、统一上游出口,这项目确实值得点开。
→ 连 OpenAI Responses 兼容细节和 Claude Code 已知问都写了,明显是踩过坑的人在做。
→ 代价也很明确:要 PostgreSQL + Redis,定位不是轻量脚本,而是能长期跑的管理系统。
https://github.com/Wei-Shaw/sub2api
互联网充电|优质资源
优质内容|内幕消息
https://x.com/doskey
难怪 刚出那会就听说Hermes自我学习能力比较好了
难怪 刚出那会就听说Hermes自我学习能力比较好了
https://x.com/milanzise
我没有🙂↔️部署来玩
我没有🙂↔️部署来玩
https://x.com/jame_galvin
是的 哈哈哈 看到很多开发者都投奔grok了
是的 哈哈哈 看到很多开发者都投奔grok了