AI编程

A2UI A2UI

Google 发起的 agent-to-UI 协议，让智能体安全输出可渲染的原生界面。

Codacy Codacy

成熟的代码质量自动审查平台，近年融入 AI 增强的缺陷检测与修复建议

F* F*

面向证明的编程语言，依赖类型 + SMT 自动化验证，代码提取至 OCaml/C/Rust，2026 引入 AI 证明助手

Lunary Lunary

面向生产级 LLM 应用的可观测Prompt 管理、评测与日志平台。

Rebuff Rebuff

面向 LLM 应用的自强化提示注入检测器，四层防御拦截恶意注入

Cline Cline

运行在 VS Code 里的开源自主编程智能体，可读写文件、跑命令并按计划改代码

FrogBoss Microsoft

微软开源系列编程模型，基于BugPilot方法训练的代码漏洞修复模型

LM Studio

在本地运行和管理开源大语言模型的桌面工具

RapidAPI RapidAPI

全球最大的API市场与开发者工具平台，提供API发现、测试、连接与监控一站式服务

Claude Code Web Claude Code Web

基于 Anthropic Claude 模型的开源 Web AI 编程平台，支持仓库关联与沙箱执行

FreeLLMAPI FreeLLMAPI

开源 OpenAI 兼容代理，聚合 28+ 家免费 LLM 额度为一站式 API

LangSmith LangChain

面向 LLM 与 Agent 应用的观测、评测、调试和部署协作平台