Dropstone Docs

Server MCP

Aggiungi strumenti MCP locali e remoti.

Puoi aggiungere strumenti esterni a Dropstone utilizzando il Model Context Protocol, o MCP. Dropstone supporta sia server locali che remoti.

Una volta aggiunti, gli strumenti MCP sono automaticamente disponibili all'LLM insieme agli strumenti integrati.


Avvertenze

Quando utilizzi un server MCP, aggiunge al contesto. Questo può accumularsi rapidamente se hai molti strumenti. Quindi ti consigliamo di fare attenzione a quali server MCP utilizzi.

Suggerimento:

I server MCP aggiungono al tuo contesto, quindi fai attenzione a quali abiliti.

Alcuni server MCP, come il server GitHub MCP, tendono ad aggiungere molti token e possono facilmente superare il limite di contesto.


Abilita

Puoi definire i server MCP nella tua configurazione Dropstone sotto mcp. Aggiungi ogni MCP con un nome univoco. Puoi fare riferimento a quell'MCP per nome quando richiedi all'LLM.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "name-of-mcp-server": {
      // ...
      "enabled": true,
    },
    "name-of-other-mcp-server": {
      // ...
    },
  },
}

Puoi anche disabilitare un server impostando enabled a false. Questo è utile se desideri disabilitare temporaneamente un server senza rimuoverlo dalla tua configurazione.


Override dei valori predefiniti remoti

Le organizzazioni possono fornire server MCP predefiniti tramite il loro endpoint .well-known/dropstone. Questi server possono essere disabilitati per impostazione predefinita, consentendo agli utenti di optare per quelli di cui hanno bisogno.

Per abilitare un server specifico dalla configurazione remota della tua organizzazione, aggiungilo alla tua configurazione locale con enabled: true:

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "jira": {
      "type": "remote",
      "url": "https://jira.example.com/mcp",
      "enabled": true
    }
  }
}

I valori della tua configurazione locale sovrascrivono i valori predefiniti remoti. Vedi precedenza della configurazione per ulteriori dettagli.


Locale

Aggiungi server MCP locali utilizzando type impostato a "local" all'interno dell'oggetto MCP.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-local-mcp-server": {
      "type": "local",
      // O ["bun", "x", "my-mcp-command"]
      "command": ["npx", "-y", "my-mcp-command"],
      "enabled": true,
      "environment": {
        "MY_ENV_VAR": "my_env_var_value",
      },
    },
  },
}

Il comando è il modo in cui viene avviato il server MCP locale. Puoi anche passare un elenco di variabili di ambiente.

Ad esempio, ecco come puoi aggiungere il server MCP di test @modelcontextprotocol/server-everything.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "mcp_everything": {
      "type": "local",
      "command": ["npx", "-y", "@modelcontextprotocol/server-everything"],
    },
  },
}

E per usarlo posso aggiungere use the mcp_everything tool ai miei prompt.

use the mcp_everything tool to add the number 3 and 4

Opzioni

Ecco tutte le opzioni per configurare un server MCP locale.

OpzioneTipoObbligatorioDescrizione
typeStringSTipo di connessione del server MCP, deve essere "local".
commandArraySComando e argomenti per eseguire il server MCP.
environmentObjectVariabili di ambiente da impostare quando si esegue il server.
enabledBooleanAbilita o disabilita il server MCP all'avvio.
timeoutNumberTimeout in ms per recuperare gli strumenti dal server MCP. Predefinito: 5000 (5 secondi).

Remoto

Aggiungi server MCP remoti impostando type a "remote".

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-remote-mcp": {
      "type": "remote",
      "url": "https://my-mcp-server.com",
      "enabled": true,
      "headers": {
        "Authorization": "Bearer MY_API_KEY"
      }
    }
  }
}

L'url è l'URL del server MCP remoto e con l'opzione headers puoi passare un elenco di intestazioni.


Opzioni

OpzioneTipoObbligatorioDescrizione
typeStringSTipo di connessione del server MCP, deve essere "remote".
urlStringSURL del server MCP remoto.
enabledBooleanAbilita o disabilita il server MCP all'avvio.
headersObjectIntestazioni da inviare con la richiesta.
oauthObjectConfigurazione dell'autenticazione OAuth. Vedi la sezione OAuth di seguito.
timeoutNumberTimeout in ms per recuperare gli strumenti dal server MCP. Predefinito: 5000 (5 secondi).

OAuth

Dropstone gestisce automaticamente l'autenticazione OAuth per i server MCP remoti. Quando un server richiede l'autenticazione, Dropstone:

  1. Rileva la risposta 401 e avvia il flusso OAuth
  2. Utilizza Dynamic Client Registration (RFC 7591) se supportato dal server
  3. Archivia i token in modo sicuro per le richieste future

Automatico

Per la maggior parte dei server MCP abilitati per OAuth, non è necessaria alcuna configurazione speciale. Configura semplicemente il server remoto:

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-oauth-server": {
      "type": "remote",
      "url": "https://mcp.example.com/mcp"
    }
  }
}

Se il server richiede l'autenticazione, Dropstone ti chiederà di autenticarti quando proverai a usarlo per la prima volta. Se no, puoi attivare manualmente il flusso con dropstone mcp auth <server-name>.


Pre-registrato

Se hai le credenziali del client dal provider del server MCP, puoi configurarle:

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-oauth-server": {
      "type": "remote",
      "url": "https://mcp.example.com/mcp",
      "oauth": {
        "clientId": "{env:MY_MCP_CLIENT_ID}",
        "clientSecret": "{env:MY_MCP_CLIENT_SECRET}",
        "scope": "tools:read tools:execute"
      }
    }
  }
}

Autenticazione

Puoi attivare manualmente l'autenticazione o gestire le credenziali.

Autentica con un server MCP specifico:

dropstone mcp auth my-oauth-server

Elenca tutti i server MCP e il loro stato di autenticazione:

dropstone mcp list

Rimuovi le credenziali archiviate:

dropstone mcp logout my-oauth-server

Il comando mcp auth aprirà il tuo browser per l'autorizzazione. Dopo l'autorizzazione, Dropstone archivierà i token in modo sicuro in ~/.local/share/dropstone/mcp-auth.json.


Disabilitazione di OAuth

Se desideri disabilitare OAuth automatico per un server (ad esempio, per server che utilizzano chiavi API), imposta oauth a false:

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-api-key-server": {
      "type": "remote",
      "url": "https://mcp.example.com/mcp",
      "oauth": false,
      "headers": {
        "Authorization": "Bearer {env:MY_API_KEY}"
      }
    }
  }
}

Opzioni OAuth

OpzioneTipoDescrizione
oauthObject | falseOggetto di configurazione OAuth, o false per disabilitare il rilevamento automatico di OAuth.
clientIdStringID client OAuth. Se non fornito, verrà tentata la registrazione dinamica del client.
clientSecretStringSegreto client OAuth, se richiesto dal server di autorizzazione.
scopeStringAmbiti OAuth da richiedere durante l'autorizzazione.

Debug

Se un server MCP remoto non riesce ad autenticarsi, puoi diagnosticare i problemi con:

# Visualizza lo stato di autenticazione per tutti i server compatibili con OAuth
dropstone mcp auth list

# Debug della connessione e del flusso OAuth per un server specifico
dropstone mcp debug my-oauth-server

Il comando mcp debug mostra lo stato di autenticazione corrente, testa la connettività HTTP e tenta il flusso di scoperta OAuth.


Gestisci

I tuoi MCP sono disponibili come strumenti in Dropstone, insieme agli strumenti integrati. Quindi puoi gestirli attraverso la configurazione di Dropstone come qualsiasi altro strumento.


Globale

Ciò significa che puoi abilitarli o disabilitarli globalmente.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-mcp-foo": {
      "type": "local",
      "command": ["bun", "x", "my-mcp-command-foo"]
    },
    "my-mcp-bar": {
      "type": "local",
      "command": ["bun", "x", "my-mcp-command-bar"]
    }
  },
  "tools": {
    "my-mcp-foo": false
  }
}

Possiamo anche utilizzare un modello glob per disabilitare tutti gli MCP corrispondenti.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-mcp-foo": {
      "type": "local",
      "command": ["bun", "x", "my-mcp-command-foo"]
    },
    "my-mcp-bar": {
      "type": "local",
      "command": ["bun", "x", "my-mcp-command-bar"]
    }
  },
  "tools": {
    "my-mcp*": false
  }
}

Qui stiamo utilizzando il modello glob my-mcp* per disabilitare tutti gli MCP.


Per agente

Se hai un gran numero di server MCP potresti volerli abilitare solo per agente e disabilitarli globalmente. Per fare questo:

  1. Disabilitalo come strumento globalmente.
  2. Nella tua configurazione dell'agente, abilita il server MCP come strumento.
{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "my-mcp": {
      "type": "local",
      "command": ["bun", "x", "my-mcp-command"],
      "enabled": true
    }
  },
  "tools": {
    "my-mcp*": false
  },
  "agent": {
    "my-agent": {
      "tools": {
        "my-mcp*": true
      }
    }
  }
}

Modelli Glob

Il modello glob utilizza semplici modelli di globbing regex:

  • * corrisponde a zero o più di qualsiasi carattere (ad es., "my-mcp*" corrisponde a my-mcp_search, my-mcp_list, ecc.)
  • ? corrisponde esattamente a un carattere
  • Tutti gli altri caratteri corrispondono letteralmente

Note:

Gli strumenti del server MCP sono registrati con il nome del server come prefisso, quindi per disabilitare tutti gli strumenti per un server usa:

"mymcpservername_*": false

Esempi

Di seguito sono riportati esempi di alcuni server MCP comuni. Contattaci se desideri che ne venga documentato un altro.


Sentry

Aggiungi il server Sentry MCP per interagire con i tuoi progetti e problemi Sentry.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "sentry": {
      "type": "remote",
      "url": "https://mcp.sentry.dev/mcp",
      "oauth": {}
    }
  }
}

Dopo aver aggiunto la configurazione, autentica con Sentry:

dropstone mcp auth sentry

Questo aprirà una finestra del browser per completare il flusso OAuth e connettere Dropstone al tuo account Sentry.

Una volta autenticato, puoi utilizzare gli strumenti Sentry nei tuoi prompt per interrogare problemi, progetti e dati di errore.

Show me the latest unresolved issues in my project. use sentry

Context7

Aggiungi il server Context7 MCP per cercare nella documentazione.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "context7": {
      "type": "remote",
      "url": "https://mcp.context7.com/mcp"
    }
  }
}

Se ti sei iscritto a un account gratuito, puoi utilizzare la tua chiave API e ottenere limiti di velocità più elevati.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "context7": {
      "type": "remote",
      "url": "https://mcp.context7.com/mcp",
      "headers": {
        "CONTEXT7_API_KEY": "{env:CONTEXT7_API_KEY}"
      }
    }
  }
}

Qui stiamo assumendo che tu abbia impostato la variabile di ambiente CONTEXT7_API_KEY.

Aggiungi use context7 ai tuoi prompt per utilizzare il server Context7 MCP.

Configure a Cloudflare Worker script to cache JSON API responses for five minutes. use context7

In alternativa, puoi aggiungere qualcosa di simile al tuo AGENTS.md.

When you need to search docs, use `context7` tools.

Grep di Vercel

Aggiungi il server MCP Grep di Vercel per cercare frammenti di codice su GitHub.

{
  "$schema": "https://dropstone.io/schema/config.json",
  "mcp": {
    "gh_grep": {
      "type": "remote",
      "url": "https://mcp.grep.app"
    }
  }
}

Poiché abbiamo denominato il nostro server MCP gh_grep, puoi aggiungere use the gh_grep tool ai tuoi prompt per far usare lo strumento all'agente.

What's the right way to set a custom domain in an SST Astro component? use the gh_grep tool

In alternativa, puoi aggiungere qualcosa di simile al tuo AGENTS.md.

If you are unsure how to do something, use `gh_grep` to search code examples from GitHub.
Ctrl+I