github / Agents & browsers

typesafe-mcp

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

itsmostafa · Originalsprache: English

Dieser Go-basierte CLI- und Single-Binary-MCP-Server integriert TypeSafe-Urteile direkt in Claude Desktop, Claude Code und Codex. Er demonstriert eine Methode zur Verknüpfung formaler Verifizierungsergebnisse mit LLM-basierten Programmierassistenten zur Verbesserung der Arbeitsablaufzuverlässigkeit.

Übersetzte Zusammenfassung · AI-assisted; check the original.

Original öffnen Link kopierenSpeichern

Top 10

Supporter

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

Supporters