fstar-mcp

Name: fstar-mcp
Rating: 2.0

FStarLang/fstar-mcp

2.0 / 10

SpiderScore · March 22, 2026

malicious

GitHub → Leaderboard Methodology Compare

Full security breakdown
npx spidershield scan https://github.com/FStarLang/fstar-mcp