Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| GITHUB_TOKEN | Yes | The GitHub token used for authentication when setting the remote URL and pushing changes. | |
| PROJECT_REPO | Yes | The remote repository URL to be set for the git workspace. |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| read_file | Read the content of a file in the workspace folder |
| write_file | Write content to a file in the workspace folder |
| delete_file | Delete a file from the workspace folder |
| create_folder | Create a folder in the workspace folder |
| delete_folder | Delete a folder from the workspace folder |
| list_dir | List files and folders in the workspace folder |
| vcs_status | Get the status of the repository |
| vcs_diff | Get repository diff |
| vcs_log | Show commit log |
| install_dependencies | Install all dependencies in the workspace |
| install_package | Install a single package in the workspace |
| run_build | Run the build script in the workspace |
| run_script | Run a script in the workspace |
| start_work | Set remote URL from env, pull latest changes, create and push a branch, and install dependencies |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |