github / Agents & browsers

typesafe-mcp

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

itsmostafa · Langue d’origine: English

Ce serveur MCP en binaire unique et CLI basé sur Go intègre les jugements TypeSafe directement dans Claude Desktop, Claude Code et Codex. Il démontre une méthode pour relier les résultats de vérification formelle aux assistants de codage basés sur les LLM.

Résumé traduit · AI-assisted; check the original.

Voir l’original Copier le lienEnregistrer

Top 10

Supporter

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

Supporters