github / Agents & browsers

typesafe-mcp

AI-assisted summaries and translations. Check original sources for context and performance claims.

itsmostafa · 原文语言: English

这个基于 Go 的 CLI 和单二进制 MCP 服务器将 TypeSafe 判断直接集成到 Claude Desktop、Claude Code 和 Codex 环境中。它展示了一种将形式验证结果与基于 LLM 的编码助手相结合，以提高工作流可靠性的方法。

译文摘要 · AI-assisted; check the original.

查看原文 复制链接收藏

前十名

Supporter

1. W
   Wallpets 270 点击量67d left
2. W
   Walltank 188 点击量67d left
3. C
   Chowder 141 点击量67d left
4. F
   Falconer 121 点击量67d left
5. L
   Lemonpod 169 点击量67d left
6. M
   Menta 143 点击量67d left
7. S
   Sway 100 点击量67d left
8. P
   Peon-Ping 91 点击量67d left
9. Z
   Zeron 170 点击量67d left
10. G
    Guideless 80 点击量67d left

Supporters