Function createEnvironmentFileDeleteTool

mcpserver/tools.go:799–834

(singleTenant bool)

}

func createEnvironmentFileDeleteTool(singleTenant bool) *Tool {
	return &Tool{
		Definition: newEnvironmentTool(
			envToolOptions{
				name:                  "environment_file_delete",
				description:           "Deletes a file at the specified path.",
				useCurrentEnvironment: singleTenant,
			},
			mcp.WithString("target_file",
				mcp.Description("Path of the file to delete, absolute or relative to the workdir."),
				mcp.Required(),
			),
		),
		Handler: func(ctx context.Context, request mcp.CallToolRequest) (*mcp.CallToolResult, error) {
			repo, env, err := openEnvironment(ctx, request)
			if err != nil {
				return nil, err
			}

			targetFile, err := request.RequireString("target_file")
			if err != nil {
				return nil, err
			}

			if err := env.FileDelete(ctx, request.GetString("explanation", ""), targetFile); err != nil {
				return nil, fmt.Errorf("failed to delete file: %w", err)
			}

			if err := repo.Update(ctx, env, request.GetString("explanation", "")); err != nil {
				return nil, fmt.Errorf("failed to update env: %w", err)
			}

			return mcp.NewToolResultText(fmt.Sprintf("file %s deleted successfully and committed to container-use/%s remote ref", targetFile, env.ID)), nil
		},
	}
}

func createEnvironmentCheckpointTool(singleTenant bool) *Tool {
	return &Tool{