Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@eduframe-mcpList my most recent leads"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
eduframe-mcp
Eduframe MCP server — exposes Eduframe resources as MCP tools.
Usage in VSCode
Add the following configuration to your .vscode/mcp.json file to use this MCP server with GitHub Copilot in agent mode.
Using npx (from GitHub)
{
"servers": {
"eduframe": {
"type": "stdio",
"command": "npx",
"args": ["-y", "github:martijnpieters/eduframe-mcp"],
"env": {
"EDUFRAME_API_TOKEN": "${input:eduframe_api_token}"
}
}
},
"inputs": [
{
"id": "eduframe_api_token",
"type": "promptString",
"description": "Eduframe API token",
"password": true
}
]
}Development (from this repository)
First, build the project:
pnpm install && pnpm buildThen add the following to .vscode/mcp.json in this repository:
{
"servers": {
"eduframe": {
"type": "stdio",
"command": "node",
"args": ["${workspaceFolder}/dist/index.js"],
"env": {
"EDUFRAME_API_TOKEN": "${input:eduframe_api_token}"
}
}
},
"inputs": [
{
"id": "eduframe_api_token",
"type": "promptString",
"description": "Eduframe API token",
"password": true
}
]
}Configuration
The server requires one environment variable:
Variable | Description |
| Your Eduframe API token (Bearer token) |
Tools
Leads (src/tools/leads.ts)
Tool | Description |
| Get all lead records. Supports |
| Get one lead record by ID. |
| Create a new lead. Accepts |
| Update the status of an existing lead. Requires |
| Delete a lead by ID. |