FStarLang/fstar-mcp

Score: 35.5 Rank #4009

An MCP server for the fstar proof assistant

Overview

FStarLang/fstar-mcp is a Rust MCP server. An MCP server for the fstar proof assistant

Ranked #4009 out of 25632 indexed tools.

Ecosystem

Rust No license

Signal Breakdown

Stars 6

Freshness 21d ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 1

Description Brief

License None

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

License low impact

Add an MIT or Apache-2.0 license to signal trust and enable adoption

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Badge

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/FStarLang--fstar-mcp)](https://agentrank-ai.com/tool/FStarLang--fstar-mcp)

HTML

<a href="https://agentrank-ai.com/tool/FStarLang--fstar-mcp"><img src="https://agentrank-ai.com/api/badge/tool/FStarLang--fstar-mcp" alt="AgentRank"></a>

Details

Stars: 6
Forks: 1
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Rust
License: —
Last Commit: 21d ago

Matched Queries

"mcp server""mcp-server"

View on GitHub →

Are you the maintainer? Claim this listing