github / Agents & browsers

typesafe-mcp

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

itsmostafa · Bahasa asli: English

Server MCP biner tunggal dan CLI berbasis Go ini mengintegrasikan penilaian TypeSafe langsung ke dalam Claude Desktop, Claude Code, dan Codex. Ini menunjukkan metode untuk menghubungkan hasil verifikasi formal dengan asisten pengkodean berbasis LLM untuk meningkatkan keandalan alur kerja.

Ringkasan terjemahan · AI-assisted; check the original.

Buka sumber asli Salin tautanSimpan

10 teratas

Supporter

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

Supporters