AI
.news
教程
研究
工具
模型
AI创业
讨论
新闻
WIKI
搜
搜
🚀 创业库
★ 投稿
登录
主页
教程
研究
工具
模型
AI创业
讨论
新闻
每日简报
WIKI
│
🚀 创业库
★ 投稿
AI+
医疗
机器人
教育
金融
能源
健康
娱乐
思考
← 返回公司库
AI应用
🌱 新兴发现
🌐
Wyrm
Solve algebra by touch, built on an open-source soundness engine
访问官网 github.com ↗
站内相关文章
(10)
Show HN: Use Any Agent as an Orchestrator
github.com
·
1天前
·
▲ 10
·
0 评论
Show HN: CodeAlmanac – Self-updating wiki for your coding agent (local, Apache)
github.com
·
1天前
·
▲ 8
·
0 评论
Show HN: Sighthound - open-source vulnerability scanner for source code
github.com
·
1天前
·
▲ 19
·
0 评论
Show HN: A zero-dependency auditor for decision records in AI-touched systems
github.com
·
1天前
·
▲ 5
·
0 评论
Show HN: FableCut – A browser video editor AI agents can drive (zero deps)
github.com
·
1天前
·
▲ 95
·
0 评论
Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine
github.com
·
1天前
·
▲ 58
·
0 评论
Show HN: Tilion – MCP for Claude Code to stop it getting blocked on the web
github.com
·
2天前
·
▲ 6
·
0 评论
Show HN: Onboard-CLI, a LLM powered and AST-based tool to visualize codebase
github.com
·
2天前
·
▲ 24
·
0 评论
Show HN: Foreman, a self-hosted LLM gateway for cost aware model routing
github.com
·
2天前
·
▲ 15
·
0 评论
Show HN: Kastor – Terraform-style specs for AI agents
github.com
·
2天前
·
▲ 19
·
0 评论