io.github.mrfentmen/reasonligo-mcp
io.github.mrfentmen/reasonligo-mcp
ReasonLIGO MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonLIGO code.
Connect this server
Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.
{
"mcpServers": {
"reasonligo-mcp": {
"command": "npx",
"args": [
"-y",
"@mrfentmen/reasonligo-mcp@1.0.0"
]
}
}
}A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.
- Category
- Developer Tools
- Version
- 1.0.0
- Registry
- active
- Published
- 11/8/2026
More Developer Tools servers
Browse all Developer Tools →io.github.mrfentmen/reasonml-mcp
mrfentmen
ReasonML MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonML code.
io.github.mrfentmen/rebol-mcp
mrfentmen
Rebol MCP: 20 real tools to read, check, lint, scaffold, build and run Rebol code.
io.github.mrfentmen/red-mcp
mrfentmen
Red MCP: 20 real tools to read, check, lint, scaffold, build and run Red code.
io.github.mrfentmen/redcode-mcp
mrfentmen
Redcode MCP: 20 real tools to read, check, lint, scaffold, build and run Redcode code.
io.github.mrfentmen/redscript-mcp
mrfentmen
Redscript MCP: 20 real tools to read, check, lint, scaffold, build and run Redscript code.
io.github.mrfentmen/release-notes-forge-mcp
mrfentmen
Summarize local Git release shape without returning commit messages, paths, hashes, or remotes.
Add the badge to your site
Show visitors that io.github.mrfentmen/reasonligo-mcp is listed here — it’s also the link we check for a free listing.
HTML — for your website
<a href="https://serverdex.io/server/io-github-mrfentmen-reasonligo-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.mrfentmen/reasonligo-mcp — listed on Serverdex" width="123" height="40" loading="lazy"></a>Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.
Markdown — for your README
[](https://serverdex.io/server/io-github-mrfentmen-reasonligo-mcp?utm_source=badge)Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.