论文智能体 · Skill · MCP代码编写与重构2 天前
Agentic Verified Optimization of Real-World Software
验证式优化在 189 个参考实现中为 156 个生成更快已证明重写
将程序优化与机器可检查等价证明结合，以现有实现为规范，避免测试被智能体利用，为生产级验证优化提供路径。
智能体 · Skill · MCP
共 76 条 · 按质量与时效综合排序 · 仅收录近 3 个月内容最近同步 21 分钟前
已折叠 · 展开查看该领域的技术路线图、最新技术与成果、发展态势与前景趋势（含表格与 Mermaid 路线图）。
项目智能体 · Skill · MCP代码编写与重构4 天前
anthropics/claude-code
Claude Code 提供终端内自然语言代码智能体
可在终端理解代码库、执行常规任务并处理 git 流程，对 AI 辅助研发与 agent 工程实践有直接参考价值。
论文智能体 · Skill · MCP代码编写与重构4 天前
Toward Agentic AI for the 6G Physical Layer: From Algorithm Discovery to Verified Baseband Silicon
LLM 智能体实现 OTFS 检测器，优化版每帧 18k-405k cycles
展示 LLM 智能体在真实硬件约束下探索实现空间、每步成本实测的流程，对端侧部署与芯片设计自动化有参考价值。
工具智能体 · Skill · MCP代码编写与重构Skill4 天前
planning-with-files
发布 planning-with-files：面向编码智能体的持久化文件规划，支持 60+ 智能体
为编码智能体提供持久化规划层，通过每轮重注入和完成门减少上下文腐烂，提升长任务可靠性。
工具智能体 · Skill · MCP代码编写与重构MCP 服务3 天前
codebase-memory-mcp
本地代码智能工具连接代码/文档/基础设施，提供 MCP 工具与变更感知测试选择
为开发者和 AI agents 提供代码、文档与基础设施的持久图谱，支持变更感知测试选择，有利于代码理解与测试自动化。
