github / Agents & browsers

typesafe-mcp

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

itsmostafa · Ngôn ngữ gốc: English

Máy chủ MCP tệp nhị phân đơn và CLI dựa trên Go này tích hợp các đánh giá TypeSafe trực tiếp vào Claude Desktop, Claude Code và Codex. Nó chứng minh một phương pháp kết nối kết quả xác minh hình thức với các trợ lý lập trình dựa trên LLM.

Tóm tắt đã dịch · AI-assisted; check the original.

Xem bản gốc Sao chép liên kếtLưu

Top 10

Supporter

1. W
   Wallpets 270 lượt nhấp67d left
2. W
   Walltank 188 lượt nhấp67d left
3. C
   Chowder 141 lượt nhấp67d left
4. F
   Falconer 121 lượt nhấp67d left
5. L
   Lemonpod 169 lượt nhấp67d left
6. M
   Menta 143 lượt nhấp67d left
7. S
   Sway 100 lượt nhấp67d left
8. P
   Peon-Ping 91 lượt nhấp67d left
9. Z
   Zeron 170 lượt nhấp67d left
10. G
    Guideless 80 lượt nhấp67d left

Supporters