github / Agents & browsers

typesafe-mcp

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

itsmostafa · Original language: English

This Go-based CLI and single-binary MCP server integrates TypeSafe judgments directly into Claude Desktop, Claude Code, and Codex environments. It demonstrates a method for bridging formal verification outputs with LLM-based coding assistants for improved workflow reliability.

Translated summary · AI-assisted; check the original.

Open original Copy linkSave

Top 10

Supporter

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

Supporters