[Prismata: Confining cross-site prompt injection in web agents](https://arxiv.org/abs/2607.08147)[^1] - 这篇论文把 Web agent 的跨站 prompt injection 处理成隔离边界问题，而不是只依赖模型拒绝恶意指令。
全文 ↓今日重点 · Today's Highlights
[Sqlsure](https://github.com/sqlsure/sqlsure)[^2] - 这个项目给 AI 生成 SQL 加确定性语义检查，适合作为 text-to-SQL 和 BI agent 执行前的规则化防线。
全文 ↓
[Reame](https://github.com/swellweb/reame)[^3] - 这个 CPU inference server 的技术看点是把缓存或适配机制放进运行时，让服务可能从真实请求分布中变快。
全文 ↓
[Standalone SearXNG CLI+MCP](https://github.com/nikvdp/searxng-ai-kit)[^4] - 它把 SearXNG 做成无需常驻服务的 CLI 与 MCP 工具，降低 agent 接入可控搜索后端的部署成本。
全文 ↓
[Memtrace](https://github.com/syncable-dev/memtrace-public)[^5] - 这个代码记忆层用双时态图和 MCP 接口组织仓库知识，目标是让 coding agents 跨会话保留结构化上下文。
全文 ↓论文 · Papers
1 项 · 论文本期重点Prismata: Confining cross-site prompt injection in web agents1arxiv.org原文 ↗
arxiv.org
Prismata 研究 Web agents 在访问多个站点、读取页面内容并调用工具时遭遇的跨站 prompt injection，贡献点是把不同来源的信息和指令放进受约束的执行边界中。论文的具体事实是攻击面发生在“网页内容进入 agent 上下文后影响后续站点或工具动作”的链路上，因此防护目标从单次输入过滤扩展到跨来源信息流控制。它值得读的地方在于把 Web security 的 origin/confine 思路迁移到 LLM agent，而不是把问题简化成提示词安全。
–
开源 / 项目 · Projects
15 项 · 开源 / 项目
OpenBenchmarks8openbenchmarks.com原文 ↗
openbenchmarks.com
OpenBenchmarks 提供面向 SaaS API 的可复现实验基准，首批覆盖 GTM API。它把真实商业软件 API 的调用、数据准备和评测流程标准化，使 agent 或自动化系统能在更接近部署环境的任务上比较表现。这个方向比纯文本问答更贴近企业 agent 难点，因为 CRM、营销和销售系统的 API 行为经常决定自动化是否可用。
–
Trust Index for MCP Servers10index.canopii.dev原文 ↗
index.canopii.dev
Trust Index for MCP Servers 汇总 MCP server 的企业安全审查信号。它关注 server 的信任、权限、依赖和采用风险，而不是只提供一个 MCP 目录。MCP 生态扩张后，企业要解决的是“能不能放心接入”，安全索引会成为 server 发现和采购审查之间的中间层。
–
本期重点Standalone SearXNG CLI+MCP4github.com原文 ↗
github.com
searxng-ai-kit 把 SearXNG 封装成无需常驻服务的 CLI 和 MCP server。它通过一个工具包同时提供命令行检索和 agent 可调用接口，减少维护独立搜索服务的开销。对本地 agent 工作流而言，这类封装能把“可控搜索”从基础设施任务变成一个可插拔工具。
–
verbatimeter12pypi.org原文 ↗
pypi.org
verbatimeter 是一个轻量 Python 工具，用来实时检查 LLM/RAG agent 输出是否贴合检索材料。它的做法是把回答和上下文材料进行贴合度检测，作为生成链路里的局部守卫。RAG 系统的事实性问题常在生成阶段出现，这类小工具能在完整评测平台之外提供更早的偏移信号。
–
Agent World13github.com原文 ↗
github.com
Agent World 提出面向个人 AI agents 的开放标准与 live market。它不是单个 agent，而是试图为 agent、能力、服务和交易建立共同接口，让个人 agent 可以发现并选择外部能力。这个项目反映了 agent 生态的一种开放市场设想：用户拥有的 agent 不必被锁在单一应用内。
–
Directed Contexts14github.com原文 ↗
github.com
Directed Contexts 是一组 repo 内维护的 coding agent 指令模块。它把 agent 指令拆成可组合的上下文单元，使不同任务、语言或仓库区域能加载不同规则。这个做法把提示维护变得更像代码维护，有助于降低大型系统提示里的指令冲突和上下文膨胀。
–
Code Airlock15github.com原文 ↗
github.com
Code Airlock 在一次性 MicroVM 中运行 Claude Code 和 Codex，为 coding agent 提供更强隔离边界。它的实现思路是把命令执行、代码修改和测试放进可销毁环境，减少 agent 触碰宿主系统、凭据和长期状态的机会。随着 agent 获得 shell 权限，MicroVM 隔离比单纯限制工作目录更接近安全工程的真实需求。
–
The MCP Census16mcpcensus.pages.dev原文 ↗
mcpcensus.pages.dev
The MCP Census 对 15,000 多个 MCP servers 做健康检查，关注可用性、元数据、实现质量和生态分布。它把 MCP 讨论从协议热度拉回到实际 server 是否稳定可用的问题。这个报告的价值在于给生态提供基线：目录规模、服务健康和工具暴露质量都会影响 agent 调用的可靠性。
–
行业动态 · Industry News
10 项 · 行业动态Apple sues OpenAI, accuses ex-employees of stealing trade secrets189to5mac.com原文 ↗
9to5mac.com
9to5Mac 报道 Apple 起诉 OpenAI，指控前员工窃取商业机密。案件把 AI 人才流动和商业秘密保护放到同一条线上，争议点不只是雇佣竞争，还包括研究、产品路线和基础设施知识是否被不当带走。它说明大模型公司之间的招聘战已经进入更强法律约束阶段。
–
AI 2040: Plan A19ai-2040.com原文 ↗
ai-2040.com
AI 2040: Plan A 发布一份关于长期 AI 发展路径的公开计划文本。它试图把能力增长、治理安排、政治协调和社会适应放进同一时间线，因此既是技术预测，也带有政策主张。阅读这类路线图时，关键在于区分可检验假设、规范性目标和叙事动员。
–
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture20cdn.openai.com原文 ↗
cdn.openai.com
这份 PDF 声称 GPT-5.6 Sol Ultra 生成了 Cycle Double Cover Conjecture 的证明。它的事实重点是“模型产出证明文本”这一事件，而不是数学共同体已经接受定理结论。AI 生成数学结果的验证链条至少包括形式化检查、专家审读和可复现推导，单份证明文档只能算链条起点。
–
Meta pulls new AI image feature after days of backlash21bbc.com原文 ↗
bbc.com
BBC 报道 Meta 在外界反弹数日后撤回一项新的 AI 图像功能。事件暴露了社交平台默认推送生成式图像能力时的同意、身份和内容控制问题。图像生成一旦嵌入分发系统，产品实验会很快转化为平台信任问题。
–
How the terrorist group Boko Haram uses frontier AI22casp.ac原文 ↗
casp.ac
CASP 报告分析 Boko Haram 使用 frontier AI 的方式，重点是极端组织如何把通用 AI 能力纳入宣传、组织或信息操作。报告的价值在于把 AI 滥用从抽象风险拆成能力门槛、行为类别和防护需求。它也提醒治理讨论必须同时覆盖模型访问控制、平台监测和线下组织能力。
–
AI content is everywhere on social media, especially LinkedIn23pangram.com原文 ↗
pangram.com
Pangram 分析社交平台上的 AI 生成内容分布，并特别指出 LinkedIn 的密度突出。文章把 AI 写作检测用于 feed 级观察，因此能比较不同平台的文本生态。职业社交平台上的 AI 内容增长会影响身份表达、品牌传播和专业信任，而不只是增加自动化文案。
–
SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth24zdnet.com原文 ↗
zdnet.com
ZDNet 报道 SpaceX 希望发射更多 Starlink 卫星，以把网络容量提高到 100 倍量级。报道中的“100k more satellites”显示低轨互联网竞争正在从覆盖率转向容量密度。这个计划同时带来轨道拥堵、天文观测干扰和国际频谱协调压力。
–
Mayor Mamdani announces “Click-to-Cancel” rules25nyc.gov原文 ↗
nyc.gov
纽约市政府发布“Click-to-Cancel”消费者保护规则，要求订阅取消流程不能比订阅更困难。规则针对自动续费、隐藏取消入口和客服阻拦等暗黑模式。对 SaaS、内容订阅和应用内服务来说，这类政策会直接改变增长漏斗设计和合规审查重点。
–
FCC approves test of space mirror to light night sky26theconversation.com原文 ↗
theconversation.com
The Conversation 介绍美国批准一次低轨空间镜面反射阳光测试。文章把它放在“按需阳光”的商业和监管语境中，关注夜空影响、轨道治理和实验边界。低轨基础设施正在从通信扩展到照明、成像和环境干预，现有空间规则会更频繁地被推到边界。
–
Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom27io-fund.com原文 ↗
io-fund.com
IO Fund 分析 Nvidia、CoreWeave 和 Nebius 等公司在 GPU 基础设施热潮中的融资与交易结构。文章把 GPU boom 看作芯片供应、云算力需求、客户承诺和资本安排互相放大的系统。它提示读者关注 AI 基建需求的质量，因为供应商融资、租赁资产和收入确认可能让增长信号变得不那么直接。
–
博客文章 · Blog Posts
10 项 · 博客文章
AI 2040 and the cult of intelligence28geohot.github.io原文 ↗
geohot.github.io
George Hotz 对 AI 2040 文本和“intelligence”叙事提出批评。文章质疑把智能当作单一尺度和历史驱动力的写法，把预测、治理主张和信念结构放在一起拆解。它是 AI 2040 的反向读本：当复杂社会变化被压缩为智能增长曲线时，概念本身需要接受审查。
–
Who manages the agents?29off-policy.com原文 ↗
off-policy.com
Off Policy 讨论 AI agents 进入组织工作流后由谁管理、如何问责以及怎样处理例外。文章把 agent 看成介于员工和自动化系统之间的新对象：它能执行任务，却没有传统组织关系。企业采用 agent 后的难点往往不是“能不能做”，而是审批、监督和事故归因是否跟得上。
–
Prefer strict tables in SQLite30evanhahn.com原文 ↗
evanhahn.com
Evan Hahn 介绍 SQLite strict tables，并建议在需要明确类型约束的场景优先使用。文章的关键事实是 SQLite 默认采用动态类型，而 strict table 可以让列类型检查更接近开发者直觉。它并不否定 SQLite 的灵活性，而是指出小型应用和嵌入式数据层也应该让错误尽早暴露。
–
We scaled PgBouncer to 4x throughput31clickhouse.com原文 ↗
clickhouse.com
ClickHouse 工程博客记录他们把 PgBouncer 吞吐提升到 4 倍的过程。文章围绕连接池、事件循环、瓶颈定位和生产负载优化展开，强调改进来自持续测量而不是单个参数开关。这个案例说明数据库基础设施里很小的组件也可能处在高并发路径核心，微小开销会被请求量放大。
–
Networking and the Internet, from First Principles32fazamhd.com原文 ↗
fazamhd.com
这篇长文从第一性原理解释网络与互联网，覆盖协议栈、地址、路由、DNS、TCP/IP 和应用层请求。它从“计算机如何找到另一台计算机”建立心智模型，而不是直接堆协议名。对工程实践而言，这类基础文章能帮助定位云、容器和调试问题背后的网络路径。
–
Your code is fast - if you're lucky33tiki.li原文 ↗
tiki.li
文章讨论代码性能中的偶然性，强调硬件、编译器、缓存布局、运行环境和测量方式都会影响结果。作者反对凭一次 benchmark 给代码贴上“快”的标签，而是把性能看成系统行为。它的实用提醒是：相同算法在不同构建配置和机器上可能暴露完全不同的瓶颈。
–
Working With AI: A Concrete Example34htmx.org原文 ↗
htmx.org
htmx 文章用具体开发案例记录与 AI 协作的过程。它没有把 AI 描述成一次性完成任务的自动体，而是展示人如何拆任务、审结果、纠错并保留设计判断。文章的价值在于给出协作颗粒度：模型可以承担局部生成，人仍然维护约束、品味和最终责任。
–
After 7 years in production, Scarf has reluctantly moved away from Haskell35avi.press原文 ↗
avi.press
Scarf 团队回顾在生产环境使用 Haskell 七年后迁移的原因。文章并非简单否定 Haskell，而是把招聘、生态、维护成本和组织阶段放进语言选择里。这个案例说明“语言本身优秀”和“当前团队适合继续使用”是两个不同判断。
–
Good Tools Are Invisible36gingerbill.org原文 ↗
gingerbill.org
Ginger Bill 讨论工具设计中的“不可见性”，主张好工具应贴合工作流而不是持续吸引用户注意力。文章强调工具应该在正确时刻暴露正确能力，避免为了展示功能而增加摩擦。这个观点也适用于 AI 工具：如果用户必须不断理解工具内部状态和提示仪式，工作流还没有被真正吸收。
–
OpenAI launches GPT 5.6 Sol/Terra/Luna37news.smol.ai原文 ↗
news.smol.ai
smol.ai newsletter 汇总 GPT-5.6 Sol、Terra、Luna 系列发布与社区讨论。它的作用是把发布信息、社区评价、命名、基准和开发者反应放在一页中观察。模型发布现在不只由官方能力声明决定采用速度，价格、工具兼容性和早期体验会很快参与塑造市场叙事。
–
GitHub 热门 · GitHub Trending
15 项 · GitHub 热门oven-sh/bun38github.com原文 ↗
github.com
Bun 是 JavaScript/TypeScript runtime，同时提供 bundler、test runner 和 package manager。它通过单一二进制覆盖运行、安装、打包和测试，减少 Node 生态中多工具拼接的摩擦。这个仓库的持续热度说明 JS runtime 竞争已经扩展到完整开发工具链。
–
microsoft/TypeScript39github.com原文 ↗
github.com
TypeScript 仓库包含语言、编译器和语言服务，是 JavaScript 生态的核心基础设施。它的做法是在 JavaScript 上添加可选静态类型，并输出标准 JS。由于大量框架、编辑器和构建工具依赖其类型系统，任何推断、性能或语法演进都会影响前端和 Node 项目。
–
openai/openai-python40github.com原文 ↗
github.com
openai-python 是 OpenAI API 的官方 Python SDK，封装客户端初始化、流式输出、文件上传和类型化返回对象等能力。它把底层 HTTP API 变成稳定的 Python 接口，并随平台端点更新。SDK 的关键作用不只是减少样板代码，还包括重试、分页、类型提示和多端点一致性。
–
paradedb/paradedb41github.com原文 ↗
github.com
ParadeDB 是基于 Postgres 的全文搜索、向量检索和聚合扩展项目。它把原本可能分散在 Elasticsearch、向量库和分析服务里的能力尽量放回 Postgres。该项目的架构吸引力在于减少数据搬运：搜索、过滤、排序和事务数据共处一处，可以降低同步管道和一致性成本。
–
NVIDIA/infra-controller42github.com原文 ↗
github.com
NVIDIA infra-controller 面向裸金属系统生命周期和多租户网络管理。它把 GPU/AI 基础设施里的节点配置、网络隔离和状态协调放到控制面处理。这个项目说明大规模裸金属集群也在吸收云原生管理方式，声明式操作和租户边界会进入 GPU 数据中心底层。
–
davila7/claude-code-templates43github.com原文 ↗
github.com
claude-code-templates 汇总 Claude Code 配置、agents、commands、hooks 和 MCP 集成模板。它通过模板化角色、命令和工作流帮助用户快速搭建可复用的 AI 编程环境。这个仓库显示 coding agent 配置正在成为可共享资产，团队会像共享 lint 规则一样共享 agent 运行约束。
–
google-labs-code/stitch-skills44github.com原文 ↗
github.com
stitch-skills 是面向 Google Stitch MCP server 的 Agent Skills 库。它把特定平台能力包装成 agent 可调用或可组合的技能单元，使任务边界、调用方式和能力描述可复用。MCP 生态的发展不只在 server 层，skills 这种更高层封装会决定 agent 能否稳定调用复杂能力。
–
本期重点syncable-dev/memtrace-public5github.com原文 ↗
github.com
Memtrace 为 AI coding agents 提供结构化代码记忆，使用双时态图和 MCP 接口组织仓库知识。它不是简单向量化代码片段，而是维护代码对象、关系和时间状态。对长期仓库协作来说，这类记忆层可以让 agent 同时理解“现在代码是什么样”和“曾经为什么这样变”。
–
microsoft/graphrag45github.com原文 ↗
github.com
Microsoft GraphRAG 是模块化 graph-based RAG 数据处理系统。它从文本中构建实体、关系和社区摘要，再用于支持跨文档检索增强生成。与普通 chunk 向量检索相比，GraphRAG 的核心优势在于显式索引结构和层级摘要，适合回答全局性、关系型问题。
–
Soju06/codex-lb46github.com原文 ↗
github.com
codex-lb 是 Codex/ChatGPT 多账号负载均衡与代理服务，包含使用量追踪和 dashboard。它把多个账号或后端接入统一入口，用于处理配额、路由和可视化管理。高频 AI 编程已经把模型访问变成资源池问题，限流、观测和切换会成为实际运维需求。
–
iOfficeAI/OfficeCLI47github.com原文 ↗
github.com
OfficeCLI 面向 AI agents 提供 Office 文档读写和自动化 CLI。它让 agent 能处理文档、表格和演示文件，而不依赖 GUI 操作。企业 agent 真正落地时常要读取历史材料、改写表格或生成报告，CLI 化接口更容易进入可审计流程。
–
wonderwhy-er/DesktopCommanderMCP48github.com原文 ↗
github.com
DesktopCommanderMCP 给 Claude 提供终端、文件搜索和 diff 编辑能力。它通过 MCP server 把本地开发动作暴露给聊天式 agent，使其可以执行命令、浏览文件并提交编辑。这个能力边界很敏感，因此权限配置、审计和用户确认与功能本身同样关键。
–
tt-a1i/archify49github.com原文 ↗
github.com
archify 是一个生成架构图、流程图和序列图的 agent skill。它把代码或描述转成可视化结构，作为 agent 工作流中的可调用能力。工程理解任务不只需要文本摘要，自动生成图形能让接口关系、流程路径和系统分层更容易被检查。
–
tailscale/tailscale50github.com原文 ↗
github.com
Tailscale 仓库包含开源客户端、daemon 和 CLI，基于 WireGuard 构建易用的私有网络。它的做法是用身份和协调服务简化设备互联、NAT 穿透和 VPN 运维。远程开发、家庭实验室、零信任访问和内部服务暴露都依赖这种低配置网络层。
–
vercel/next.js51github.com原文 ↗
github.com
Next.js 是 React 全栈框架，覆盖文件路由、服务端渲染、静态生成、API 路由和部署集成。它把 React 从客户端 UI 框架扩展到生产级 Web 应用框架。这个仓库长期活跃，是因为它同时处在 React 演进、前端构建和云部署接口的交叉点。
–
引用来源 · References
51 条 · 引用- 1 Prismata: Confining cross-site prompt injection in web agents. arXiv:2607.08147https://arxiv.org/abs/2607.08147 ↩ 回到正文 · back to text
- 2 Sqlsure. GitHub: sqlsure/sqlsurehttps://github.com/sqlsure/sqlsure ↩ 回到正文 · back to text
- 3 Reame. GitHub: swellweb/reamehttps://github.com/swellweb/reame ↩ 回到正文 · back to text
- 4 Standalone SearXNG CLI+MCP. GitHub: nikvdp/searxng-ai-kithttps://github.com/nikvdp/searxng-ai-kit ↩ 回到正文 · back to text
- 5 Memtrace. GitHub: syncable-dev/memtrace-publichttps://github.com/syncable-dev/memtrace-public ↩ 回到正文 · back to text
- 6 Ant. antjs.orghttps://antjs.org ↩ 回到正文 · back to text
- 7 BoundFlow. GitHub: boundflow/boundflowhttps://github.com/boundflow/boundflow ↩ 回到正文 · back to text
- 8 OpenBenchmarks. openbenchmarks.comhttps://openbenchmarks.com ↩ 回到正文 · back to text
- 9 Praana. GitHub: amitkumardubey/praanahttps://github.com/amitkumardubey/praana ↩ 回到正文 · back to text
- 10 Trust Index for MCP Servers. index.canopii.devhttps://index.canopii.dev ↩ 回到正文 · back to text
- 11 Agent OS. GitHub: earthwalker17/agent-oshttps://github.com/earthwalker17/agent-os ↩ 回到正文 · back to text
- 12 verbatimeter. PyPIhttps://pypi.org/project/verbatimeter/ ↩ 回到正文 · back to text
- 13 Agent World. GitHub: macrokit/agent-worldhttps://github.com/macrokit/agent-world ↩ 回到正文 · back to text
- 14 Directed Contexts. GitHub: TGPSKI/directed-contextshttps://github.com/TGPSKI/directed-contexts ↩ 回到正文 · back to text
- 15 Code Airlock. GitHub: Trivo25/code-airlockhttps://github.com/Trivo25/code-airlock ↩ 回到正文 · back to text
- 16 The MCP Census. mcpcensus.pages.devhttps://mcpcensus.pages.dev/report ↩ 回到正文 · back to text
- 17 9lives. GitHub: Quality-Max/9liveshttps://github.com/Quality-Max/9lives ↩ 回到正文 · back to text
- 18 Apple sues OpenAI, accuses ex-employees of stealing trade secrets. 9to5Machttps://9to5mac.com/2026/07/10/apple-sues-openai-trade-secret-theft/ ↩ 回到正文 · back to text
- 19 AI 2040: Plan A. ai-2040.comhttps://ai-2040.com/ ↩ 回到正文 · back to text
- 20 GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture. OpenAI CDN PDFhttps://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf ↩ 回到正文 · back to text
- 21 Meta pulls new AI image feature after days of backlash. BBChttps://www.bbc.com/news/articles/c2dy6e8klw0o ↩ 回到正文 · back to text
- 22 How the terrorist group Boko Haram uses frontier AI. CASPhttps://casp.ac/reports/ai-enabled-terrorism ↩ 回到正文 · back to text
- 23 AI content is everywhere on social media, especially LinkedIn. Pangramhttps://www.pangram.com/blog/ai-in-your-feed ↩ 回到正文 · back to text
- 24 SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth. ZDNethttps://www.zdnet.com/home-and-office/networking/spacex-wants-to-launch-100000-more-starlink-satellites/ ↩ 回到正文 · back to text
- 25 Mayor Mamdani announces “Click-to-Cancel” rules. NYC Mayor's Officehttps://www.nyc.gov/mayors-office/news/2026/07/mayor-mamdani-announces-landmark--click-to-cancel--consumer-prot ↩ 回到正文 · back to text
- 26 FCC approves test of space mirror to light night sky. The Conversationhttps://theconversation.com/the-u-s-just-approved-a-giant-space-mirror-to-test-sunlight-on-demand-low-earth-orbit-is-getting-weird-283482 ↩ 回到正文 · back to text
- 27 Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom. IO Fundhttps://io-fund.com/ai-stocks/nvidia-coreweave-nebius-circular-financing-gpu-boom ↩ 回到正文 · back to text
- 28 AI 2040 and the cult of intelligence. George Hotzhttps://geohot.github.io//blog/jekyll/update/2026/07/11/ai-2040.html ↩ 回到正文 · back to text
- 29 Who manages the agents? Off Policyhttps://www.off-policy.com/dont-go-quietly-into-the-ai-night/ ↩ 回到正文 · back to text
- 30 Prefer strict tables in SQLite. Evan Hahnhttps://evanhahn.com/prefer-strict-tables-in-sqlite/ ↩ 回到正文 · back to text
- 31 We scaled PgBouncer to 4x throughput. ClickHouse Bloghttps://clickhouse.com/blog/pgbouncer-clickhouse-managed-postgres ↩ 回到正文 · back to text
- 32 Networking and the Internet, from First Principles. fazamhd.comhttps://fazamhd.com/mental-models/networking/ ↩ 回到正文 · back to text
- 33 Your code is fast - if you're lucky. tiki.lihttps://tiki.li/blog/lucky_code.html ↩ 回到正文 · back to text
- 34 Working With AI: A Concrete Example. htmxhttps://htmx.org/essays/working-with-ai/ ↩ 回到正文 · back to text
- 35 After 7 years in production, Scarf has reluctantly moved away from Haskell. avi.presshttps://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-from-haskell.html ↩ 回到正文 · back to text
- 36 Good Tools Are Invisible. Ginger Billhttps://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/ ↩ 回到正文 · back to text
- 37 OpenAI launches GPT 5.6 Sol/Terra/Luna. smol.aihttps://news.smol.ai/issues/26-07-09-gpt-56/ ↩ 回到正文 · back to text
- 38 oven-sh/bun. GitHub: oven-sh/bunhttps://github.com/oven-sh/bun ↩ 回到正文 · back to text
- 39 microsoft/TypeScript. GitHub: microsoft/TypeScripthttps://github.com/microsoft/TypeScript ↩ 回到正文 · back to text
- 40 openai/openai-python. GitHub: openai/openai-pythonhttps://github.com/openai/openai-python ↩ 回到正文 · back to text
- 41 paradedb/paradedb. GitHub: paradedb/paradedbhttps://github.com/paradedb/paradedb ↩ 回到正文 · back to text
- 42 NVIDIA/infra-controller. GitHub: NVIDIA/infra-controllerhttps://github.com/NVIDIA/infra-controller ↩ 回到正文 · back to text
- 43 davila7/claude-code-templates. GitHub: davila7/claude-code-templateshttps://github.com/davila7/claude-code-templates ↩ 回到正文 · back to text
- 44 google-labs-code/stitch-skills. GitHub: google-labs-code/stitch-skillshttps://github.com/google-labs-code/stitch-skills ↩ 回到正文 · back to text
- 45 microsoft/graphrag. GitHub: microsoft/graphraghttps://github.com/microsoft/graphrag ↩ 回到正文 · back to text
- 46 Soju06/codex-lb. GitHub: Soju06/codex-lbhttps://github.com/Soju06/codex-lb ↩ 回到正文 · back to text
- 47 iOfficeAI/OfficeCLI. GitHub: iOfficeAI/OfficeCLIhttps://github.com/iOfficeAI/OfficeCLI ↩ 回到正文 · back to text
- 48 wonderwhy-er/DesktopCommanderMCP. GitHub: wonderwhy-er/DesktopCommanderMCPhttps://github.com/wonderwhy-er/DesktopCommanderMCP ↩ 回到正文 · back to text
- 49 tt-a1i/archify. GitHub: tt-a1i/archifyhttps://github.com/tt-a1i/archify ↩ 回到正文 · back to text
- 50 tailscale/tailscale. GitHub: tailscale/tailscalehttps://github.com/tailscale/tailscale ↩ 回到正文 · back to text
- 51 vercel/next.js. GitHub: vercel/next.jshttps://github.com/vercel/next.js ↩ 回到正文 · back to text