github / Agents & browsers

typesafe-mcp

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

itsmostafa · Język oryginału: English

Ten serwer MCP w formie pojedynczego pliku binarnego i CLI oparty na Go integruje oceny TypeSafe bezpośrednio z Claude Desktop, Claude Code i Codex. Pokazuje metodę łączenia wyników weryfikacji formalnej z asystentami programowania opartymi na LLM w celu poprawy niezawodności przepływu pracy.

Przetłumaczone podsumowanie · AI-assisted; check the original.

Otwórz oryginał Kopiuj linkZapisz

Top 10

Supporter

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

Supporters