← all MCP servers
io.github.mrfentmen/fstar-mcp
F* MCP: 20 real tools to read, check, lint, scaffold, build and run F* code.
install
npm · stdio
npx -y @mrfentmen/fstar-mcp@1.0.0
details
- version
- 1.0.0
- stars
- 0
- last commit
- 2026-11-08
- published
- 2026-11-08
last synced 2026-11-09