WhimRead 需要 JavaScript 才能使用站内搜索。
Whim
Read
随手一翻
发现
全部工具
推荐
惊喜
关于
搜索
English
AI Agent
mathcode
math-ai-org/mathcode
面
向
数学
与
Lean 4
证明
的
终端
编码
智
能体,
可
检查
证明
目标、
检索定
义
并
以
严格验证
为
准
完成
证明。
去 GitHub 看仓库
复制链接
标签
foundation-models
llm
ai
coding
reasoning
agent
同类项目
momo-code
1.1k
基于
opencode
打造
的
AI
编程智
能体,
带
双速
自进化、
子智
能体
与
仿真、
语音
等
能力,
本
地
优先。
SWE-agent
20.6k
自主
修库
的
AI
编码
智
能体,
能
定
位
问题、
编辑
代码
并
运行验证,
在
SWE-bench
表现
顶尖。
RD-Agent
14.9k
微软
开源
的
研发
自动化智
能体,
面
向量化
金融
与
数据
科学
自主进化
因子
与
模型。
open-swe
11k
开源
异步
编码
智
能
体
系统,
能
调查
代
码库、
实现
变更、
验证
并
提交
PR,
支持
评审
与
CI
监控,
需自托管部署。
Operit
8.7k
Android
上
开源
AI Agent
应用,
连接
云端
与
本地
模型,
调用
系统、
终端、
浏览器
与
文件
能力
自主
完成
通用
任务。
lemonai
1.6k
可
全
本
地
运行
的
开源
通用
AI智
能体,
支持
深度
研究、
网页
浏览、
编程
与
数据
分析,
在
沙箱
中
自主
规划
并
执行
任务。
745
foundation-models,llm,ai
面向数学与Lean 4证明的终端编码智能体,可检查证明目标、检索定义并以严格验证为准完成证明。
←
上一个
skills
下一个
→
RedisFullCheck