WhimRead 需要 JavaScript 才能使用站内搜索。
Whim
Read
随手一翻
发现
全部工具
推荐
惊喜
关于
搜索
English
AI Agent
mathcode
math-ai-org/mathcode
面
向
数学
与
Lean
证明
的
终端
编程智
能
体,
可读
写
工作区、
检索验证
证明,
支持
CLI
与
本地
WebUI
交互。
去 GitHub 看仓库
复制链接
标签
foundation-models
llm
ai
coding
reasoning
agent
同类项目
opensquilla
7.1k
主
打
Token
高效
的
微内
核AI智
能体,
统
一
网关串起Web、
终端
与
聊天
通道,
内置
路由、
记忆、
沙箱
与
多供
应商
模型
支持。
momo-code
1.1k
可
自进化
的
AI
编码
agent
CLI:
在
终端
中读
写
代码、
调用
工具、
拆分子
任务,
并
通过
经验
闭环
与
RSI 循
环
持续
改进策略。
SWE-agent
20.8k
自主
修库
的
AI
编码
智
能体,
能
定
位
问题、
编辑
代码
并
运行验证,
在
SWE-bench
表现
顶尖。
RD-Agent
15.2k
微软
开源
的
研发
自动化智
能体,
面
向量化
金融
与
数据
科学
自主进化
因子
与
模型。
open-swe
11.2k
开源
异步
编码
智
能
体
系统,
能
调查
代
码库、
实现
变更、
验证
并
提交
PR,
支持
评审
与
CI
监控,
需自托管部署。
Operit
9.6k
Android
上
的
通用
AI Agent
应用,
可
调用
系统、
终端、
浏览器
和
文件
能力,
执行
检索、
开发
与
设备
自动化
任务。
751
foundation-models,llm,ai
面向数学与Lean证明的终端编程智能体,可读写工作区、检索验证证明,支持CLI与本地WebUI交互。
←
上一个
skills
下一个
→
openmcp-client