Agent 与自动化01
ayukyo/icode · Auditable, contract-driven AI coding agent powered by ICODE-SKILL — fail-closed workflow gates and independently verifiable evidence.
ICODE Agent 是 ICODE-SKILL 的执行平面,强调可审计执行过程:工具决策、副作用、工作流状态转换、产物与验证回执都会被记录。它采用默认拒绝的守卫策略与人工审批协议,支持检查点与证据驱动恢复,并导出可独立校验的证据包。其目标是:如果运行时无法证明完成,就不得报告完成。
AI 编程02
SalvucciFacundo/gaia · 🚀 Programming-first autonomous AI agent in Go with Spec-Driven Development (SDD), 19 LLM providers, Cyberpunk TUI, and real-time Web Dashboard (templ + htmx). Single binary, zero dependencies.
GAIA(Go Autonomous Intelligence Agent)是使用 Go 编写的编程优先自主 AI 智能体与编码助手,支持规范驱动开发(SDD)、19 家 LLM 提供方、赛博朋克风格 TUI 以及基于 templ + htmx 的实时 Web 仪表盘。项目以单一二进制形式分发、零外部依赖并支持 Windows/macOS/Linux,内置 12+ 个专用子智能体、Mixture of Agents 并行执行与综合、三作用域知识图谱、渐进式技能与安全审计、Credential Pool 自动故障转移、PolicyGuard 权限体系、Git worktree 隔离、AST 索引与 CodeGraph、LSP 主动重构等功能。
Agent 与自动化03
JdominguezEcommium/agentic-self-regulation-loop · 2026 AI Agent Loop v2.0: Autonomous Coding with Guardrails & Self-Healing
OuroLoop GateKeeper 是一个面向 AI 编程 Agent(如 Claude Code、Cursor、Aider、Codex)的控制框架,通过意图验证、上下文完整性、执行安全、输出验证和集成检查五道验证门,配合三层自反思机制与自主修复引擎,将 AI 编程 Agent 从无约束的代码生成转变为受控的协作流程。README 还描述了多语言响应式监控面板、OpenAI/Claude API 集成与回退机制,以及 MIT 许可。