lookupd

io.github.mrfentmen/whiley-mcp

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

Whiley MCP: 20 real tools to read, check, lint, scaffold, build and run Whiley code.

Summary by lookupd

Lets an agent read, check, lint, scaffold, build and run Whiley programming language code through 20 tools.

Install

Claude Code, npm package (stdio)

claude mcp add whiley -- npx -y @mrfentmen/whiley-mcp

Codex, npm package (stdio)

codex mcp add whiley -- npx -y @mrfentmen/whiley-mcp

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "whiley": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/whiley-mcp"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.mrfentmen/whiley-mcp

[![lookupd status](https://lookupd.com/badge/io.github.mrfentmen/whiley-mcp.svg)](https://lookupd.com/servers/io.github.mrfentmen/whiley-mcp)